Skip to content
  • Alexandre Duret-Lutz's avatar
    never: use state-names as comments · e5294aac
    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