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

tgbatest: speed ltl2ta.test up!

Browse source 
Again instead of calling ltl2tgba dozen of times with different options
for various formulas, this implements a single executable that reads
formulas from a file, translate them using the different setups, and
dump statistics for comparison.  Valgrind now only has to be started
once.

* src/tgbatest/checkta.cc: New file.
* src/tgbatest/Makefile.am: Use it.
* src/tgbatest/ltl2ta.test: Rewrite using checkta.
* src/tgbatest/ltl2tgba.cc: Remove a unused variable.
This commit is contained in:
Alexandre Duret-Lutz 2014-08-18 19:00:31 +02:00
parent 9502266f95
commit b360b02290
4 changed files with 650 additions and 168 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgbatest/ltl2tgba.cc
View file

@ -1442,11 +1442,9 @@ checked_main(int argc, char** argv)
opt_with_artificial_livelock);
tm.stop("conversion to TA");
spot::ta_ptr testing_automaton_nm = 0;
if (opt_bisim_ta)
{
tm.start("TA bisimulation");
testing_automaton_nm = testing_automaton;
testing_automaton = minimize_ta(testing_automaton);
tm.stop("TA bisimulation");
}