-
Alexandre Duret-Lutz authored
* src/bin/common_aoutput.cc: Add --check=unambiguous. * src/twa/twa.hh: New unambiguous property. * src/twaalgos/hoa.cc: Print it. * src/twaalgos/ltl2tgba_fm.cc: Set it. * src/twaalgos/isunamb.cc, src/twaalgos/isunamb.hh (check_unambiguous): New function. * src/tests/unambig.test: More tests.
487a86d0