pub fn release_traceability_severity(linked_cr_count: usize) -> SeverityExpand description
Core predicate for release traceability severity (CC7.1). At least one linked change request -> Pass, none -> Error.
Verified by Creusot in gh-verify-verif crate.