(g: &mut Gen)
| 384 | cidx: u64::arbitrary(g) % 10, |
| 385 | params: u64::arbitrary(g) % 10, |
| 386 | fields: u64::arbitrary(g) % 10, |
| 387 | typ: arbitrary_expr(g), |
| 388 | } |
| 389 | } |
| 390 | |
| 391 | pub fn gen_inductive(g: &mut Gen) -> Inductive { |
| 392 | Inductive { |
| 393 | is_unsafe: bool::arbitrary(g), |
| 394 | lvls: u64::arbitrary(g) % 10, |
| 395 | params: u64::arbitrary(g) % 10, |
| 396 | indices: u64::arbitrary(g) % 5, |
| 397 | typ: arbitrary_expr(g), |
| 398 | ctors: (0..gen_range(g, 0..4)).map(|_| gen_constructor(g)).collect(), |
no test coverage detected