Constant move_model::pragmas::CONDITION_CHECK_ABORT_CODES_PROP

pub const CONDITION_CHECK_ABORT_CODES_PROP: &str = "check";

A property which can be attached to an aborts_with to indicate that it should act as check whether the function produces exactly the provided number of error codes.