/test.data/actions/test07.test
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)