From db6973aaa80a7065045f49dde6a4add56ab6e078 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 30 Jan 2005 10:18:24 +0000 Subject: [PATCH] * bench/emptchk/Makefile.am (dist_noinst_SCRIPTS): Add pml-clserv.sh and pml-eeaean.sh. * bench/emptchk/ltl-human.sh: Typo in densities. Reported by Denis. --- ChangeLog | 11 +++++++++-- bench/emptchk/Makefile.am | 4 +++- bench/emptchk/ltl-human.sh | 4 ++-- 3 files changed, 14 insertions(+), 5 deletions(-) diff --git a/ChangeLog b/ChangeLog index 9bb560d70..d5617a293 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,4 +1,11 @@ -2005-01-29 Alexandre Duret-Lutz +2005-01-30 Alexandre Duret-Lutz + + * bench/emptchk/Makefile.am (dist_noinst_SCRIPTS): Add pml-clserv.sh + and pml-eeaean.sh. + * bench/emptchk/ltl-human.sh: Typo in densities. + Reported by Denis. + +2005-01-29 Alexandre Duret-Lutz * doc/mainpage.dox: More text, and a link to "Modules". @@ -13,7 +20,7 @@ * src/tgbatest/randtgba.cc (syntax): Missing std::endl. -2005-01-29 Alexandre Duret-Lutz +2005-01-29 Alexandre Duret-Lutz Denis Poitrenaud * bench/Makefile.am, bench/emptchk/Makefile.am, diff --git a/bench/emptchk/Makefile.am b/bench/emptchk/Makefile.am index dfbbe065e..0e9d1c4e6 100644 --- a/bench/emptchk/Makefile.am +++ b/bench/emptchk/Makefile.am @@ -26,7 +26,9 @@ noinst_SCRIPTS = defs dist_noinst_SCRIPTS = \ pml2tgba.pl \ ltl-human.sh \ - ltl-random.sh + ltl-random.sh \ + pml-clserv.sh \ + pml-eeaean.sh dist_noinst_DATA = \ models/cl3serv1.pml \ diff --git a/bench/emptchk/ltl-human.sh b/bench/emptchk/ltl-human.sh index 1bde52588..f0dd6cda6 100644 --- a/bench/emptchk/ltl-human.sh +++ b/bench/emptchk/ltl-human.sh @@ -27,14 +27,14 @@ opts="-1 -D -e 15 -n 1024 -t 0.5 -r -z -i $FORMULAE" echo "WITHOUT ADDITIONAL ACCEPTING CONDITIONS" -for d in 0.001 0.002 0.1; do +for d in 0.001 0.002 0.01; do echo "density: $d" $RANDTGBA -d $d $opts done echo "WITH 3 ADDITIONAL ACCEPTING CONDITIONS" -for d in 0.001 0.002 0.1; do +for d in 0.001 0.002 0.01; do echo "density: $d" $RANDTGBA -a 3 0.0133333 -d $d $opts done