• Alexandre Duret-Lutz's avatar
    common: introduce SPOT_UNREACHABLE and SPOT_UNIMPLEMENTED. · 2beacc39
    Alexandre Duret-Lutz authored
    * src/misc/common.hh (SPOT_UNIMPLEMENTED, SPOT_UNREACHABLE,
    SPOT_UNREACHABLE_BUILTIN): New macros.
    * src/bin/dstar2tgba.cc, src/bin/ltlcross.cc,
    src/dstarparse/dstar2tgba.cc, src/eltlparse/eltlparse.yy,
    src/ltlast/binop.cc, src/ltlast/bunop.cc, src/ltlast/constant.cc,
    src/ltlast/formula_tree.cc, src/ltlast/multop.cc, src/ltlast/nfa.cc,
    src/ltlast/unop.cc, src/ltlvisit/dotty.cc, src/ltlvisit/lbt.cc,
    src/ltlvisit/lunabbrev.cc, src/ltlvisit/mark.cc,
    src/ltlvisit/randomltl.cc, src/ltlvisit/simpfg.cc,
    src/ltlvisit/simplify.cc, src/ltlvisit/snf.cc, src/ltlvisit/tostring.cc,
    src/misc/intvcomp.cc, src/misc/minato.cc, src/tgba/bdddict.cc,
    src/tgba/formula2bdd.cc, src/tgba/tgbasafracomplement.cc,
    src/tgbaalgos/eltl2tgba_lacim.cc, src/tgbaalgos/ltl2taa.cc,
    src/tgbaalgos/ltl2tgba_fm.cc, src/tgbaalgos/ltl2tgba_lacim.cc,
    src/tgbaalgos/simulation.cc, src/tgbatest/ltl2tgba.cc:  Use them.
    * src/sanity/style.test: Catch assert(0) and assert(!"text");
    2beacc39
tostring.cc 19.1 KB