Commit f680eb0d authored by martinez's avatar martinez
Browse files

* src/tgbatest/reductgba.test, src/ltltest/reduccmp.test: Wrong test are removed.

parent cc93a6d6
2004-06-17 Thomas Martinez <martinez@src.lip6.fr>
* src/ltltest/reduccmp.test: Wrong test are removed.
* src/tgbatest/reductgba.test, src/ltltest/reduccmp.test: Wrong test are removed.
2004-06-17 Thomas Martinez <martinez@src.lip6.fr>
......
......@@ -34,9 +34,6 @@ check()
# trigger assertions.
# No reduction
check 0 'Fa & Xb & GFc & Gd'
check 0 'Fc & X(a | Xb) & GF(a | Xb) & Gc'
check 1 a
check 1 'a U b'
check 1 'X a'
......@@ -58,6 +55,9 @@ check 1 'a U Fb'
#check 0 'a U b'
#check 0 'a U Fb'
#check 0 'Fa & Xb & GFc & Gd'
#check 0 'Fc & X(a | Xb) & GF(a | Xb) & Gc'
#check 3 a
#check 3 'a U b'
#check 3 'a U Fb'
......
Supports Markdown
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