alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/tgbatest/tripprod.test, src/tgbatest/explprod.test: Sort

Browse source 
accepting conditions.
This commit is contained in:
Alexandre Duret-Lutz 2003-06-24 19:01:58 +00:00
parent 2558e823a0
commit a7d31e20b7
3 changed files with 12 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
ChangeLog
View file

@ -1,5 +1,8 @@
2003-06-24 Alexandre Duret-Lutz <aduret@src.lip6.fr>
* src/tgbatest/tripprod.test, src/tgbatest/explprod.test: Sort
accepting conditions.
* src/ltlvisit/nenoform.cc (negative_normal_form): New const variant.
* src/ltlvisit/nenoform.hh (negative_normal_form): New const variant.
* src/ltlvisit/lunabbrev.cc (unabbreviate_logic): New const variant.

2
src/tgbatest/explprod.test
View file

@ -29,7 +29,7 @@ EOF
# Sort out some possible inversions in the output.
# (The order is not guaranteed by SPOT.)
sed 's/c a/a c/g;s/b a/a b/g;s/"p3" "p1"/"p1" "p3"/g;s/"p3" "p2"/"p1" "p3"/g;s/"p2" "p1"/"p1" "p2"/g' stdout > tmp_ &&
sed 's/c a/a c/g;s/b a/a b/g;s/"p3" "p1"/"p1" "p3"/g;s/"p3" "p2"/"p2" "p3"/g;s/"p2" "p1"/"p1" "p2"/g' stdout > tmp_ &&
mv tmp_ stdout
cat stdout

10
src/tgbatest/tripprod.test
View file

@ -27,7 +27,7 @@ s2, s3,, p4;
EOF
cat >expected <<EOF
acc = "p2" "p3" "p4" "p1";
acc = "p1" "p2" "p3" "p4";
"s1 * s1 * s1", "s3 * s2 * s2", a b, "p1" "p2";
"s1 * s1 * s1", "s2 * s2 * s2", a b, "p1" "p2";
"s2 * s2 * s2", "s3 * s1 * s3", a c, "p3" "p4";
@ -40,7 +40,13 @@ EOF
# Sort out some possible inversions in the output.
# (The order is not guaranteed by SPOT.)
sed 's/c a/a c/g;s/b a/a b/g;s/"p2" "p1"/"p1" "p2"/g;s/"p4" "p3"/"p3" "p4"/g' stdout > tmp_ &&
sed 's/c a/a c/g;s/b a/a b/g;
s/"p4" "p1"/"p1" "p4"/g;
s/"p3" "p1"/"p1" "p3"/g;
s/"p2" "p1"/"p1" "p2"/g;
s/"p4" "p2"/"p2" "p4"/g;
s/"p3" "p2"/"p2" "p3"/g;
s/"p4" "p3"/"p3" "p4"/g' stdout > tmp_ &&
mv tmp_ stdout
cat stdout