-
Alexandre Duret-Lutz authored
* src/ltlvisit/simpfg.cc: Typo. * src/ltltest/reduccmp.test: Add more tests.
7021e45f
To find the state of this project's repository at the time of any of these versions, check out the tags.
* src/ltlvisit/simpfg.cc: Typo. * src/ltltest/reduccmp.test: Add more tests.