/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
- 'test_MOD_07' A(x~q!0), B(x~p!0) -> A(x~fi!0), B(x~p!0)
- %init: 2 * (A(x~q!1), B(x~p!1))
- %obs: '0070' A(x~q!1), B(x~p!1)
- %obs: '0071' A(x~fi!1), B(x~p!1)