PageRenderTime 12ms CodeModel.GetById 11ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 0ms

/test.data/actions/test07.test

http://github.com/kappamodeler/jkappa
Unknown | 4 lines | 4 code | 0 blank | 0 comment | 0 complexity | bfa3fb87b7e9325156682d78ee66c9d3 MD5 | raw file
Possible License(s): LGPL-3.0, Apache-2.0
1'test_MOD_07' A(x~q!0), B(x~p!0) -> A(x~fi!0), B(x~p!0)
2%init: 2 * (A(x~q!1), B(x~p!1))
3%obs: '0070' A(x~q!1), B(x~p!1)
4%obs: '0071' A(x~fi!1), B(x~p!1)