We are happy to announce the release of Spot 2.5.2
This is a maintenance release containing fixes for some
minor issues discovered since 2.5.1.
You can find the new release here:
http://www.lrde.epita.fr/dload/spot/spot-2.5.2.tar.gz
See https://spot.lrde.epita.fr/ for documentation and installation
instructions. As always, please send any feedback to
<spot(a)lrde.epita.fr>.
New in spot 2.5.2 (2018-03-25)
Bugs fixed:
- acc_cond::is_generalized_rabin() and
acc_cond::is_generalized_streett() would segfault on weird
acceptance conditions such as "3 t" or "3 f".
- remove_fin() and streett_to_generalized_buchi() should never
return automata with "f" acceptance.
- "autfilt --acceptance-is=Fin-less" no longer accept automata
with "f" acceptance.
- twa_run methods will now diagnose cases where the cycle is
unexpectedly empty instead of segfaulting.
- spot::closure(), used by default for testing stutter-invariance,
was using an optimization incorrect if the acceptance condition
had some Fin(x). Consequently stutter-invariance tests for
automata, for instance with "autfilt --is-stutter-invariant",
could be to be wrong (even if the input does not use Fin(x), its
complement, used in the stutter-invariance test likely will).
Stutter-invariance checks of LTL formulas are not affected.
--
Alexandre Duret-Lutz
