• Alexandre Duret-Lutz's avatar
    dot, hoa: default to "k" for kripke structure · 02b5460b
    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