-
Alexandre Duret-Lutz authored
Fixes #165. * spot/twaalgos/isdet.cc, spot/twaalgos/strength.cc: Here. * spot/twaalgos/isdet.hh, spot/twaalgos/strength.hh, NEWS: Document it. * spot/twaalgos/hoa.cc: Fix output of negated properties. * tests/core/readsave.test: New test case.
73621e8f
To find the state of this project's repository at the time of any of these versions, check out the tags.