• Alexandre Duret-Lutz's avatar
    introduce check_determinism() · ac80b07d
    Alexandre Duret-Lutz authored
    * spot/twaalgos/isdet.hh, spot/twaalgos/isdet.cc (check_determinism):
    New function.
    * NEWS: Mention it.
    * tests/python/semidet.py: New file.
    * tests/Makefile.am: Add it.
    ac80b07d
Makefile.am 11.7 KB