Consistency checks to forbid inhale-exhale-assertions in function preconditions and predicate bodies#828
Draft
marcoeilers wants to merge 1 commit intomasterfrom
Draft
Consistency checks to forbid inhale-exhale-assertions in function preconditions and predicate bodies#828marcoeilers wants to merge 1 commit intomasterfrom
marcoeilers wants to merge 1 commit intomasterfrom
