-
Alexandre Duret-Lutz authored
* spot/twaalgos/dot.cc, spot/twaalgos/hoa.cc: If a Kripke structure is passed, automatically enable the "k" option. * tests/core/parse_print_test.cc, tests/ltsmin/modelcheck.cc, tests/python/ltsmin.ipynb: Remove the explicit use of "k". * NEWS: Mention the change.
02b5460b
To find the state of this project's repository at the time of any of these versions, check out the tags.