Commit 99485abb authored by Christian Müller's avatar Christian Müller
Browse files


parent 405eec83
......@@ -20,6 +20,7 @@ import de.tum.workflows.toz3.InvariantGenerator
class ElimTests extends FlatSpec {
it should "prove nonomitting/conference_linear_fixed elim" in {
val name = "omitting/conference_linear_fixed"
val inv = InvariantGenerator.invariantNoninterSingleBS(ExampleWorkflows.parseExample(name).get)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment