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

* src/tgbatest/ltlcounter.test (run): Do not run with n=12, as

Browse source 
the test case might become too slow for the autobuilder.
This commit is contained in:
Alexandre Duret-Lutz 2009-11-09 16:10:58 +01:00
parent 3ce1627251
commit 39912aa51e
2 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
ChangeLog
View file

@ -1,3 +1,8 @@
2009-11-09 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/tgbatest/ltlcounter.test (run): Do not run with n=12, as
the test case might become too slow for the autobuilder.
2009-11-06 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2009-11-06 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Add a benchmark using Kristin Y. Rozier's LTLcounter scripts. Add a benchmark using Kristin Y. Rozier's LTLcounter scripts.

2
src/tgbatest/ltlcounter.test
View file

@ -50,7 +50,7 @@ check_formula()
# so the translation of the formula stopped midway, on a formula it # so the translation of the formula stopped midway, on a formula it
# thought it had already seen. # thought it had already seen.
for n in 1 2 3 4 5 6 7 8 9 10 11 12 for n in 1 2 3 4 5 6 7 8 9 10 11
do do
:;:;: "========== $n counters ==========" ;:;: # only visible with "set -x" :;:;: "========== $n counters ==========" ;:;: # only visible with "set -x"
f=`"$lc" $n` f=`"$lc" $n`