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

* src/tgbatest/randtgba.cc (syntax): Missing std::endl.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2005-01-28 23:57:41 +00:00
parent 7bba6dc63d
commit c8a9c2d48a
2 changed files with 21 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

19
ChangeLog
View file

@ -1,3 +1,22 @@
2005-01-29 Alexandre Duret-Lutz <adl@gnu.org>
* src/tgbatest/randtgba.cc (syntax): Missing std::endl.
* bench/Makefile.am, bench/emptchk/Makefile.am,
bench/emptchk/README, bench/emptchk/algorithms,
bench/emptchk/defs.in, bench/emptchk/ltl-human.sh,
bench/emptchk/ltl-random.sh, bench/emptchk/pml-clserv.sh,
bench/emptchk/pml-eeaean.sh, bench/emptchk/pml2tgba.pl,
bench/emptchk/models/cl3serv1.pml,
bench/emptchk/models/cl3serv3.pml,
bench/emptchk/models/clserv.ltl, bench/emptchk/models/eeaean.ltl,
bench/emptchk/models/eeaean2.pml: New files.
* README: Adjust.
* configure.ac: Output bench/Makefile and bench/emptchk/Makefile.
Check for PERL, and define the NEVER conditional.
* Makefile.am (SUBDIRS) [NEVER]: Add bench.
2005-01-28 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbaalgos/emptiness_stats.hh: Make sure depth() >= 0.

3
src/tgbatest/randtgba.cc
View file

@ -155,7 +155,8 @@ syntax(char* prog)
<< "Options:" << std::endl
<< " -0 suppress default output, just generate the graph"
<< " in memory" << std::endl
<< " -1 produce minimal output dedicated to the paper"
<< " -1 produce minimal output (for our paper)"
<< std::endl
<< " -a N F number of acceptance conditions and probability that"
<< " one is true" << std::endl
<< " [0 0.0]" << std::endl