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

Changes to pass sanity tests

Browse source 
* src/ta/taexplicit.hh, src/ta/taexplicit.cc, src/taalgos/minimize.cc,
src/taalgos/tgba2ta.cc, src/tgbatest/ltl2tgba.cc: correct the code style
in order to respect the sanity rules
This commit is contained in:
Ala-Eddine Ben-Salem 2012-04-11 11:15:19 +02:00 • committed by Alexandre Duret-Lutz
parent 5a706300b0
commit 618146c157
5 changed files with 21 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/tgbatest/ltl2tgba.cc
View file

@ -1100,7 +1100,7 @@ main(int argc, char** argv)
//TA
spot::ltl::atomic_prop_set* aps = atomic_prop_collect(f, 0);
bdd atomic_props_set_bdd = bdd_true();
bdd atomic_props_set_bdd = bdd_true;
for (spot::ltl::atomic_prop_set::const_iterator i = aps->begin(); i
!= aps->end(); ++i)
{
@ -1123,10 +1123,11 @@ main(int argc, char** argv)
opt_with_artificial_livelock);
spot::ta* testing_automata_nm = 0;
if (opt_minimize) {
if (opt_minimize)
{
testing_automata_nm = testing_automata;
testing_automata = minimize_ta(testing_automata);
}
}
if (output != -1)
{
@ -1150,7 +1151,8 @@ main(int argc, char** argv)
delete testing_automata;
a = 0;
degeneralized = 0;
if (degeneralize_opt != DegenSBA) to_free = 0;
if (degeneralize_opt != DegenSBA)
to_free = 0;
aut_red = 0;
output = -1;