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