Skip to content

strength: generalize is_safety_automaton to any type of automata

Alexandre Duret-Lutz requested to merge adl/safety into next

Reported by Samuel Judson.

  • spot/twaalgos/strength.cc (is_safety_automaton): Reimplement it.
  • spot/twaalgos/strength.hh (is_safety_automaton): Update documentation.
  • tests/python/safety.py: New file.
  • tests/Makefile.am: Add it.
  • NEWS: Mention this change.
  • THANKS: Add Samuel.

Merge request reports