Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    postproc: fix monitor code · 9defdad2
    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.
    9defdad2
To find the state of this project's repository at the time of any of these versions, check out the tags.