MCPcopy Index your code
hub / github.com/AI45Lab/Code / static_verifier_builds_report

Function static_verifier_builds_report

core/src/verification.rs:795–804  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

793
794 #[test]
795 fn static_verifier_builds_report() {
796 let verifier = StaticVerifier::new("turn");
797 let check = VerificationCheck::optional("check:review", "review", "Review diff")
798 .with_status(VerificationStatus::Passed);
799
800 let report = verifier.verify(vec![check]).unwrap();
801
802 assert_eq!(report.subject, "turn");
803 assert_eq!(report.status, VerificationStatus::Passed);
804 }
805
806 #[test]
807 fn verification_command_builds_passed_check_with_evidence() {

Callers

nothing calls this directly

Calls 2

verifyMethod · 0.80
with_statusMethod · 0.45

Tested by

no test coverage detected