• Alexandre Duret-Lutz's avatar
    postproc: fix monitor code · 2b9accdf
    Alexandre Duret-Lutz authored
    Fixes #240.
    
    * spot/twaalgos/postproc.cc: Do not call do_simul on the output of
    minimize_monitor(), and do not skip complete() when PREF_==Any.
    * tests/core/monitor.test: Add a test case.
    * NEWS: Mention the bug.
    * doc/org/ltl2tgba.org: Document complete monitors.
    2b9accdf
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 153 KB