(rng: &mut Rng)
| 272 | } |
| 273 | |
| 274 | fn gen_verification_check(rng: &mut Rng) -> VerificationCheck { |
| 275 | VerificationCheck { |
| 276 | id: rng.string(), |
| 277 | kind: rng.string(), |
| 278 | description: rng.string(), |
| 279 | status: gen_verification_status(rng), |
| 280 | required: rng.boolean(), |
| 281 | suggested_tools: rng.string_vec(3), |
| 282 | evidence_uris: rng.string_vec(2), |
| 283 | residual_risk: rng.opt_string(), |
| 284 | } |
| 285 | } |
| 286 | |
| 287 | fn gen_verification_report(rng: &mut Rng) -> VerificationReport { |
| 288 | let n = rng.below(3); |
no test coverage detected