• Alexandre Duret-Lutz's avatar
    monitor: add a few tests · 392c527d
    Alexandre Duret-Lutz authored
    * src/tgbatest/monitor.test: New file.
    * src/tgbatest/Makefile.am: Add it.
    * src/tgbaalgos/minimize.cc (minimize_monitor): Mark
    the output automaton as state-based.
    * src/tgba/tgbagraph.hh: Assume automata with 0 acceptance sets are also
    state-based.
    392c527d
minimize.cc 17.8 KB