/test.data/actions/test32.test
Unknown | 5 lines | 5 code | 0 blank | 0 comment | 0 complexity | 36e48d9bfab64bcc67f9a4000abe32b7 MD5 | raw file
Possible License(s): LGPL-3.0, Apache-2.0
1'test_BND_02' A(x~q), B(x) -> A(x~q!1), B(x!1) 2%init: 2 * (A(x~q), B(x)) 3%obs: '3020' A(x~q!1), B(x!1) 4%obs: '3022' A(x~q) 5%obs: '3023' B(x)