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.