Commit 29548f69 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* bench/emptchk/README: Make clearer that spin is needed.

parent c8a9c2d4
2005-01-29 Alexandre Duret-Lutz <adl@gnu.org> 2005-01-29 Alexandre Duret-Lutz <adl@gnu.org>
* bench/emptchk/README: Make clearer that spin is needed.
* src/tgbatest/randtgba.cc (syntax): Missing std::endl. * src/tgbatest/randtgba.cc (syntax): Missing std::endl.
2005-01-29 Alexandre Duret-Lutz <adl@gnu.org>
Denis Poitrenaud <Denis.Poitrenaud@lip6.fr>
* bench/Makefile.am, bench/emptchk/Makefile.am, * bench/Makefile.am, bench/emptchk/Makefile.am,
bench/emptchk/README, bench/emptchk/algorithms, bench/emptchk/README, bench/emptchk/algorithms,
bench/emptchk/defs.in, bench/emptchk/ltl-human.sh, bench/emptchk/defs.in, bench/emptchk/ltl-human.sh,
......
...@@ -144,8 +144,11 @@ This directory contains: ...@@ -144,8 +144,11 @@ This directory contains:
USAGE USAGE
======= =======
1. If that is not done already, configure and compile all Spot library, 0. Install SPIN (spinroot.com), and make sure the `spin' binary is in
then come back into this directory. your path.
1. If that is not done already, configure and compile all the Spot
library, then come back into this directory.
2. Run `make' in this directory. This will call pml2tgba.pl to 2. Run `make' in this directory. This will call pml2tgba.pl to
generate the TGBA input for the two pml-*.sh tests. generate the TGBA input for the two pml-*.sh tests.
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment