Skip to content
  • Alexandre Duret-Lutz's avatar
    twa: add support for very-weak property · 582d455c
    Alexandre Duret-Lutz authored
    * spot/twa/twa.hh: Implement the property.
    * spot/parseaut/parseaut.yy, spot/twaalgos/ Add input
    and output for it.
    * spot/twaalgos/,
    spot/twaalgos/strength.hh (is_very_weak_automaton): New function.
    * tests/core/alternating.test: Add a test for --check=strength
    on an alternating automaton.
    * tests/core/strength.test, tests/core/parseaut.test: Adjust expected
    * NEWS, doc/org/, doc/org/ Document it.
To find the state of this project's repository at the time of any of these versions, check out the tags.