• Alexandre Duret-Lutz's avatar
    * src/sanity/style.test: New file. · c4a5b325
    Alexandre Duret-Lutz authored
    * src/sanity/Makefile.am (check-local): Run it.
    * src/ltlvisit/nenoform.cc, src/ltlvisit/tostring.cc,
    src/tgba/bdddict.cc, src/tgba/bddprint.cc, src/tgba/tgba.cc,
    src/tgba/tgbaproduct.cc, src/tgbaalgos/lbtt.cc,
    src/tgbaalgos/magic.cc, src/tgbaalgos/powerset.cc,
    src/tgbaalgos/reachiter.cc, src/tgbaalgos/gtec/ce.cc,
    src/tgbaalgos/gtec/gtec.cc, src/tgbatest/ltl2tgba.cc: Fix style
    issues reported by style.test.
    c4a5b325
lbtt.cc 9.28 KB