/test.data/negativeUpdate/testSynthesis05.test
Unknown | 9 lines | 5 code | 4 blank | 0 comment | 0 complexity | dcc394fe23dc2b9ab0ef5ef7f9e5fce8 MD5 | raw file
Possible License(s): LGPL-3.0, Apache-2.0
1# Rules: 2 3'Rule_0' -> A(x!1, y), B(k!1) @ 1.0 4 5%init: 5 * A(x!1, y, z!2), B(k!1), A(x, y!2) 6 7# Simulation: 8 9%obs: '001' A(y?)