Open RaoMukkamala opened 9 years ago
Checks
a xor b c d [sometime c before d] assert[never d before c]
a
xor b
c
d
[sometime c before d]
assert[never d before c]
The assertion failed and counter example found for the above test case. The generated Xml instance saved at gist: Sample instance and counter example Xml
Checks
axor bcd[sometime c before d]assert[never d before c]The assertion failed and counter example found for the above test case. The generated Xml instance saved at gist: Sample instance and counter example Xml