Alexandre Duret-Lutz authored
* src/tgbatest/ltl2tgba.cc (main): Either replay the accepting run or print it, but do not do both. * src/tgbatest/emptchk.test: Adjust. I.e. use -C instead of -CR when we expect the run to be displayed.75a24111
To find the state of this project's repository at the time of any of these versions, check out the tags.