From 39912aa51ef81b44c1842514d184601a6b25796f Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 9 Nov 2009 16:10:58 +0100 Subject: [PATCH] * src/tgbatest/ltlcounter.test (run): Do not run with n=12, as the test case might become too slow for the autobuilder. --- ChangeLog | 5 +++++ src/tgbatest/ltlcounter.test | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 84e1d5239..946bf8411 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2009-11-09 Alexandre Duret-Lutz + + * 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 Add a benchmark using Kristin Y. Rozier's LTLcounter scripts. diff --git a/src/tgbatest/ltlcounter.test b/src/tgbatest/ltlcounter.test index f00e937a4..46218c037 100755 --- a/src/tgbatest/ltlcounter.test +++ b/src/tgbatest/ltlcounter.test @@ -50,7 +50,7 @@ check_formula() # so the translation of the formula stopped midway, on a formula it # 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 :;:;: "========== $n counters ==========" ;:;: # only visible with "set -x" f=`"$lc" $n`