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

* src/evtgbaalgos/save.cc (save_bfs::output_acc_set): Sort

Browse source 
acceptance conditions in the output.
* src/evtgbatest/readsave.test, src/evtgbatest/product.test: Adjust.
This commit is contained in:
Alexandre Duret-Lutz 2004-11-05 17:26:33 +00:00
parent 6c1152d819
commit a31ab32b9b
4 changed files with 12 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/evtgbatest/product.test
View file

@ -49,10 +49,8 @@ EOF
run 0 ./product input1 input2 input3 >stdout
perl -pi -e 's/Acc2 Acc1/Acc1 Acc2/g;' stdout
cat >expected <<\EOF
acc = Acc3 Acc1 Acc2;
acc = Acc1 Acc2 Acc3;
init = "<s1, t1, u1>" "<s1, t1, u2>";
"<s1, t1, u1>", "<s2, t2, u1>", a,;
"<s1, t1, u2>", "<s2, t2, u2>", a,;