-
Alexandre Duret-Lutz authored
* bin/genltl.cc: Implement these options. * NEWS: Mention them. * tests/core/genltl.test: New file with test cases. * tests/Makefile.am: Add it.
57f47c16
To find the state of this project's repository at the time of any of these versions, check out the tags.