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

Changes in order to pass sanity tests

Browse source 
* src/tgbatest/ltl2tgba.cc, src/ta/Makefile.am, README: code style
This commit is contained in:
Ala-Eddine Ben-Salem 2012-04-11 18:52:03 +02:00 • committed by Alexandre Duret-Lutz
parent 618146c157
commit 9319b0ca25
3 changed files with 7 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

4
README
View file

@ -133,7 +133,9 @@ src/ Sources for libspot.
tgbaalgos/ Algorithms on TGBA. tgbaalgos/ Algorithms on TGBA.
gtec/ Couvreur's Emptiness-Check. gtec/ Couvreur's Emptiness-Check.
tgbaparse/ Parser for explicit TGBA. tgbaparse/ Parser for explicit TGBA.
tgbatest/ Tests for tgba/, tgbaalgos/, and tgbaparse/. ta/ TA objects and cousins (TGTA).
taalgos/ Algorithms on TA/TGTA.
tgbatest/ Tests for tgba/, tgbaalgos/, tgbaparse/, ta/ and taalgos/.
evtgba*/ Ignore these for now. evtgba*/ Ignore these for now.
eltlparse/ Parser for ELTL formulae. eltlparse/ Parser for ELTL formulae.
eltltest/ Tests for ELTL nodes in ltlast/ and eltlparse/. eltltest/ Tests for ELTL nodes in ltlast/ and eltlparse/.

5
src/ta/Makefile.am
View file

@ -31,9 +31,8 @@ ta_HEADERS = \
tgtaexplicit.hh \ tgtaexplicit.hh \
tgtaproduct.hh tgtaproduct.hh
noinst_LTLIBRARIES = libta.la
noinst_LTLIBRARIES = libta.la libta_la_SOURCES = \
libta_la_SOURCES = \
ta.cc \ ta.cc \
taproduct.cc \ taproduct.cc \
tgta.cc \ tgta.cc \

2
src/tgbatest/ltl2tgba.cc
View file

@ -1100,7 +1100,7 @@ main(int argc, char** argv)
//TA //TA
spot::ltl::atomic_prop_set* aps = atomic_prop_collect(f, 0); 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 for (spot::ltl::atomic_prop_set::const_iterator i = aps->begin(); i
!= aps->end(); ++i) != aps->end(); ++i)
{ {