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

Fix non determinism in the simulation.

Browse source 
* src/tgbaalgos/simulation.cc: Fix non determinism.
* src/tgbatest/simdet.test: Test that the behavior is now correct.
* src/tgbatest/Makefile.am (TESTS): Add the new test to the
test-suite.
This commit is contained in:
Thomas Badie 2012-11-13 22:10:18 +01:00 • committed by Alexandre Duret-Lutz
parent 49d384b1eb
commit d10e772d35
3 changed files with 55 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/tgbatest/Makefile.am
View file

@ -69,6 +69,7 @@ tripprod_SOURCES = tripprod.cc
# because such failures will be easier to diagnose and fix.
TESTS = \
intvcomp.test \
simdet.test \
eltl2tgba.test \
explicit.test \
explicit2.test \