MCPcopy Create free account
hub / github.com/AI45Lab/Code / gen_verification_report

Function gen_verification_report

core/tests/test_persisted_schema_roundtrip.rs:287–296  ·  view source on GitHub ↗
(rng: &mut Rng)

Source from the content-addressed store, hash-verified

285}
286
287fn gen_verification_report(rng: &mut Rng) -> VerificationReport {
288 let n = rng.below(3);
289 VerificationReport {
290 schema: VERIFICATION_REPORT_SCHEMA.to_string(),
291 subject: rng.string(),
292 status: gen_verification_status(rng),
293 checks: (0..n).map(|_| gen_verification_check(rng)).collect(),
294 residual_risks: rng.string_vec(3),
295 }
296}
297
298fn gen_trace_event(rng: &mut Rng) -> TraceEvent {
299 TraceEvent {

Calls 5

gen_verification_statusFunction · 0.85
gen_verification_checkFunction · 0.85
belowMethod · 0.80
stringMethod · 0.80
string_vecMethod · 0.80

Tested by

no test coverage detected