Commit 33d3af83 authored by Jeff Smits's avatar Jeff Smits

Adding missing file for test

parent 8dfd5b44
This diff is collapsed.
Or(Or(Or(Or(And(And(Atom("d_0"),Atom("b")),And(Atom("b_0"),Atom("b"))),And(And(Atom("d_0"),Atom("b")),And(Atom("a"),Atom("b")))),Or(And(And(Atom("d_0"),Atom("b")),And(Atom("a_0"),Atom("b"))),And(And(Atom("d_0"),Atom("b")),And(Atom("a"),Atom("b"))))),Or(Or(And(And(Atom("a"),Atom("b")),And(Atom("b_0"),Atom("b"))),And(And(Atom("a"),Atom("b")),And(Atom("a"),Atom("b")))),Or(And(And(Atom("a"),Atom("b")),And(Atom("a_0"),Atom("b"))),And(And(Atom("a"),Atom("b")),And(Atom("a"),Atom("b")))))),Or(Or(Or(And(And(Atom("c_0"),Atom("b")),And(Atom("b_0"),Atom("b"))),And(And(Atom("c_0"),Atom("b")),And(Atom("a"),Atom("b")))),Or(And(And(Atom("c_0"),Atom("b")),And(Atom("a_0"),Atom("b"))),And(And(Atom("c_0"),Atom("b")),And(Atom("a"),Atom("b"))))),Or(Or(And(And(Atom("a"),Atom("b")),And(Atom("b_0"),Atom("b"))),And(And(Atom("a"),Atom("b")),And(Atom("a"),Atom("b")))),Or(And(And(Atom("a"),Atom("b")),And(Atom("a_0"),Atom("b"))),And(And(Atom("a"),Atom("b")),And(Atom("a"),Atom("b")))))))
......@@ -13,7 +13,7 @@ strategies
,!And(And(Or(Or(Atom("d_0"),Atom("a")),Or(Or(Atom("c_0"),Atom("a")),False())),Atom("b")),And(And(Or(Or(Atom("b_0"),Atom("a")),Or(Or(Atom("a_0"),Atom("a")),False())),Atom("b")),True()))
, import-term(./prop2.res)
, import-term(./tests/strc_tests/prop2.res)
)
strategies
......
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