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

* src/ltltest/defs.in, src/tgbatest/defs.in: Correctly set exitcode

Browse source 
when valgrind is not used.
Reported by Denis Poitrenaud.
This commit is contained in:
Alexandre Duret-Lutz 2004-04-20 11:11:40 +00:00
parent 00487e1176
commit 4d73490a49
3 changed files with 7 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,5 +1,9 @@
2004-04-20 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/ltltest/defs.in, src/tgbatest/defs.in: Correctly set exitcode
when valgrind is not used.
Reported by Denis Poitrenaud.
* src/tgba/tgba.hh (tgba::succ_iter): Doco.
* src/tgba/tgbatba.hh (tgba_tba_proxy::state_is_accepting): Document
it.