Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    twa: fix duplicate propositions in ap() · ad37cacb
    Alexandre Duret-Lutz authored 
    Calling register_ap() with same atomic proposition several time, for
instance via copy_ap() in a product, would create duplicate atomic
propositions.  This fix will be exercised by the next patch.

* spot/twa/twa.hh: Here.
* spot/twaalgos/compsusp.cc, spot/twaalgos/ltl2taa.cc: Fix
to correctly register atomic propositions.
* NEWS: Mention it.
    ad37cacb
To find the state of this project's repository at the time of any of these versions, check out the tags.