-
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
* 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.