PageRenderTime 22ms CodeModel.GetById 20ms app.highlight 1ms RepoModel.GetById 0ms app.codeStats 0ms

/test.data/actions/test32.test

http://github.com/kappamodeler/jkappa
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)