Skip to content
  • Alexandre Duret-Lutz's avatar
    postproc: use tba_determinize_check() · 0117fc2c
    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