From f680eb0d8048f43f6a1be61cfafaca61386f156c Mon Sep 17 00:00:00 2001 From: martinez Date: Thu, 17 Jun 2004 17:00:29 +0000 Subject: [PATCH] * src/tgbatest/reductgba.test, src/ltltest/reduccmp.test: Wrong test are removed. --- ChangeLog | 2 +- src/tgbatest/reductgba.test | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/ChangeLog b/ChangeLog index 401fc6ad3..c41ffa4e9 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,6 +1,6 @@ 2004-06-17 Thomas Martinez - * 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 diff --git a/src/tgbatest/reductgba.test b/src/tgbatest/reductgba.test index c0d33b317..153ffe97d 100755 --- a/src/tgbatest/reductgba.test +++ b/src/tgbatest/reductgba.test @@ -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'