(rng: &mut Rng)
| 285 | } |
| 286 | |
| 287 | fn 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 | |
| 298 | fn gen_trace_event(rng: &mut Rng) -> TraceEvent { |
| 299 | TraceEvent { |
no test coverage detected