Commit 57ddf52d authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/tgbatest/explpro2.test: Fix reordering regex.

parent 468a32ea
2004-01-26 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbatest/explpro2.test: Fix reordering regex.
* src/tgbatest/defs.in (run): Use libtool --mode=execute.
2004-01-23 Alexandre Duret-Lutz <adl@src.lip6.fr>
......
......@@ -47,7 +47,7 @@ run 0 ./explprod input1 input2 > stdout
# Sort out some possible inversions in the output.
# (The order is not guaranteed by SPOT.)
perl -pe 's/("\w+") ("\w+")(?: ("\w+"))?/@{[sort $1, $2, $3]}/g;s/\(!b & a\)/(a & !b)/g;s/\(!c & a\)/(a & !c)/g' \
perl -pe 's/("\w+") ("\w+")(?: ("\w+"))?/@{[sort $1, $2, $3]}/g;s/\(!b & a\)/(a & !b)/g;s/\(b & !a\)/(!a & b)/g' \
stdout > tmp_ && mv tmp_ stdout
cat stdout
......
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