-
David Bühler authored
Splits on ACSL predicates do not try to split and reduce states in which the predicate is already satisfied or refuted.
65d9b00f
Splits on ACSL predicates do not try to split and reduce states in which the predicate is already satisfied or refuted.