-
David Bühler authored
A split has failed if the reduced state is equal to the entry state _and_ the predicate evaluates to Unknown. If the predicate evaluates to True/False in the entry state, then the state cannot be reduced: the reduced state is then equal to the entry state), but this is not a failure: the split holds.
40c9bc09