Constant move_model::pragmas::VERIFY_DURATION_ESTIMATE_PRAGMA
source · pub const VERIFY_DURATION_ESTIMATE_PRAGMA: &str = "verify_duration_estimate";
Expand description
Pragma indicating an estimate how long verification takes. Verification is skipped if the timeout is smaller than this.