Skip to content

v1.3.0
Compare
Choose a tag to compare
@hajduakos hajduakos released this 17 Jul 19:55
· 3397 commits to master since this release
v1.3.0
ccd1970

Enable turning lazy abstraction off in the CFA and STS CLI tools. This can have a positive effect if there is no refinement progress (same counterexample is obtained in each iteration).

Assets 5
Loading