/test.data/actions/test07.test

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

    

  1. 'test_MOD_07' A(x~q!0), B(x~p!0) -> A(x~fi!0), B(x~p!0)

    2. 

  2. %init: 2 * (A(x~q!1), B(x~p!1))

    3. 

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

    4. 

  4. %obs: '0071' A(x~fi!1), B(x~p!1)
    5.