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

Make sure 'a U XXXFb' reduces to 'XXXFb'. Spot 0.7.1 missed that.

Browse source 
* src/ltltest/reduccmp.test: Add the test.
This commit is contained in:
Alexandre Duret-Lutz 2011-08-23 09:06:03 +02:00
parent 47fb449198
commit 09d9696995
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ltltest/reduccmp.test
View file

@ -177,4 +177,6 @@ for x in ../reduccmp ../reductaustr; do
run 0 $x 'b U Fa' 'Fa'
run 0 $x 'b U GFa' 'GFa'
run 0 $x 'Ga' 'Ga'
run 0 $x 'a U XXXFb' 'XXXFb'
done