Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    dtwasat: various fixes · ee80849c
    Alexandre Duret-Lutz authored 
    * spot/twaalgos/dtwasat.cc: Do not return a transition-based automaton
when state-based output is requested.
* tests/python/satmin.ipynb, spot/twaalgos/dtbasat.hh: Fix some typos.
* tests/python/satmin.py: Add test cases.
* NEWS: Mention the bugs.
    ee80849c
To find the state of this project's repository at the time of any of these versions, check out the tags.