Skip to content
  • Alexandre Duret-Lutz's avatar
    stutter check: cleanup and add test cases · f412fee6
    Alexandre Duret-Lutz authored
    * src/ltltest/ltlfilt.test: Add more tests.
    * src/ltltest/stutter.test: New test.
    * src/ltltest/Makefile.am: Adjust.
    * src/bin/ltlfilt.cc: Catch std::runtime_error.
    * src/tgba/tgbasl.hh (make_tgbasl): New function.
    * src/tgba/tgbagraph.hh (make_tgba_graph): Add another overload.
    * src/tgbaalgos/stutter_invariance.cc,
    src/tgbaalgos/stutter_invariance.hh: Take the algorithm version as an
    optional integer, and call getenv() only once.
    * bench/stutter/stutter_invariance_randomgraph.cc,
    bench/stutter/stutter_invariance_formulas.cc: Simplify using the
    above functions.
    f412fee6