-
Alexandre Duret-Lutz authored
* bench/ltl2tgba/algorithms: Use -l for all LaCIM invocations. * src/tgbatest/dupexp.test, src/tgbatest/emptchk.test, src/tgbatest/spotlbtt.test: Likewise.
8cdc1967
To find the state of this project's repository at the time of any of these versions, check out the tags.