Constant move_model::pragmas::CONDITION_ABORT_ASSUME_PROP

pub const CONDITION_ABORT_ASSUME_PROP: &str = "assume";

Property which indicates that an aborts_if should be assumed. For callers of a function with such an aborts_if, the negation of the condition becomes an assumption.