-
Alexandre Duret-Lutz authored
* bin/ltlsynt.cc: Add a --csv option to record the duration of the various phases. * tests/core/ltlsynt.test: Test the new option. * NEWS: Mention it.
82d69241
To find the state of this project's repository at the time of any of these versions, check out the tags.