-
Alexandre Duret-Lutz authored
Reported by Étienne Renault. * src/tgbaalgos/isdet.cc (is_deterministic): Invert return code. * src/tgbatest/nondet.test: New file. * src/tgbatest/Makefile.am (TESTS): Add it.
4ed4e4d2
Reported by Étienne Renault. * src/tgbaalgos/isdet.cc (is_deterministic): Invert return code. * src/tgbatest/nondet.test: New file. * src/tgbatest/Makefile.am (TESTS): Add it.