-
Alexandre Duret-Lutz authored
* src/tgbaalgos/postproc.cc: Use tba_determinize_check() if option "tba-det" is set. * src/tgbaalgos/postproc.hh (tba_determinize_): New attribute. * src/tgbatest/det.test: New file. * src/tgbatest/Makefile.am (TESTS): Add it.
0117fc2c