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

ltlcheck: add a "Sanity check..." message

Browse source 
* src/bin/ltlcheck.cc: Here.
This commit is contained in:
Alexandre Duret-Lutz 2012-10-14 19:08:03 +02:00
parent 7d6fc328ab
commit 2fe8f025e3
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/bin/ltlcheck.cc
View file

@ -753,6 +753,8 @@ namespace
runner.round_cleanup(); runner.round_cleanup();
++round; ++round;
std::cerr << "Sanity checks..." << std::endl;
spot::ltl::atomic_prop_set* ap = spot::ltl::atomic_prop_collect(f); spot::ltl::atomic_prop_set* ap = spot::ltl::atomic_prop_collect(f);
// intersection test // intersection test