/test.data/actions/test15.test

http://github.com/kappamodeler/jkappa · Unknown · 4 lines · 4 code · 0 blank · 0 comment · 0 complexity · db06b54aae7f66c07bcc4c40321cec6f MD5 · raw file

  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)