• 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.
To find the state of this project's repository at the time of any of these versions, check out the tags.
ChangeLog 346 KB