Skip to content

stuttering algorithms and properties

The inplace versions of sl(), sl2(), closure() should call a->prop_deterministic(false) whenever they modify the automaton, since the newly added edges break the determinism.

Is there a way we can write tests to avoid fogetting those steps in the future?

The same problem exist with is_inherently_weak and is_state_based.