-
Alexandre Duret-Lutz authored
* src/tgbatest/ltl2tgba.cc (main): Warn if -Rm is used without knowing the formula whose automaton is minimized.
a962bb6d
To find the state of this project's repository at the time of any of these versions, check out the tags.