/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. 

  2. %init: 2 * B(x)

    3. 

  3. %obs: '1070' A(x~q!1), B(x!1)

    4. 

  4. %obs: '1071' B(x)
    5.