GitHub - OlafRandel/lola2.0_customTests: custom tests to compare to Z3 results

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
README.txt		README.txt
branch.lola		branch.lola
branch_safety.formula		branch_safety.formula
complex.lola		complex.lola
complex_safety.formula		complex_safety.formula
live.lola		live.lola
live2.lola		live2.lola
live_safety.formula		live_safety.formula
long.lola		long.lola
long_safety.formula		long_safety.formula
loop.lola		loop.lola
simple.lola		simple.lola
simple2.lola		simple2.lola
simple_safety.formula		simple_safety.formula
starfish.lola		starfish.lola
starfish_safety.formula		starfish_safety.formula
unbound.lola		unbound.lola
unbound_safety.formula		unbound_safety.formula

Repository files navigation

The instructions on how to use .lola can be found in http://service-technology.org/lola/ and in the readme of the program itself.
Since version 2.0 does not support safety checks, formulas must be made defining the safety property for individual nets.
In this set of custom tests, any test that does not have an associated formula uses the same definition as simple.lola.