Skip to main content

description_quality_severity

libverify_core::integrity

Function description_quality_severity 

Source 
pub fn description_quality_severity(
    body_length: usize,
    min_length: usize,
) -> Severity
Expand description

Core predicate for description quality severity (CC8.1). Body length >= minimum -> Pass, otherwise -> Error.

Verified by Creusot in gh-verify-verif crate.