-
Alexandre Duret-Lutz authored
* src/tgbaalgos/neverclaim.cc: Here. * src/hoaparse/hoaparse.yy: Use set_acceptance_conditions() to set the number of acceptance sets. Otherwise, the single_acc_set property is not set. * src/tgbaalgos/postproc.cc: When expecting a BA or a monitor, do not do anything if the input is already a BA or a monitor. * src/tgbatest/hoaparse.test: Add a test case. * src/tgbatest/readsave.test: Adjust.
e5294aac