Constant move_model::pragmas::CONDITION_ABORT_ASSERT_PROP

pub const CONDITION_ABORT_ASSERT_PROP: &str = "assert";

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