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@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.