/test.data/actions/test15.test
Unknown | 4 lines | 4 code | 0 blank | 0 comment | 0 complexity | db06b54aae7f66c07bcc4c40321cec6f MD5 | raw file
Possible License(s): LGPL-3.0, Apache-2.0
1'test_ADD_07' B(x) -> A(x~q!1), B(x!1) 2%init: 2 * B(x) 3%obs: '1070' A(x~q!1), B(x!1) 4%obs: '1071' B(x)