Constant move_model::pragmas::VERIFY_PRAGMA
source · [−]pub const VERIFY_PRAGMA: &str = "verify";Expand description
Pragma indicating whether verification should be performed for a function.
pub const VERIFY_PRAGMA: &str = "verify";Pragma indicating whether verification should be performed for a function.