PageRenderTime 26ms CodeModel.GetById 25ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 0ms

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