• Alexandre Duret-Lutz's avatar
    Fixup minimize_monitor(). · ad93f875
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/minimize.cc (minimize_monitor): Fix typo yielding
    incorrect monitor if the input tgba is not deterministic.
    * src/tgbatest/ltl2tgba.test: Add test case.
    ad93f875
minimize.cc 17.7 KB