Judgment reused_child
judgment_fn! {
fn reused_child(value: u32) => u32 {
/* rules omitted */
}
}Source: crates/formality-core/src/judgment/test_memo/iteration.rs:66
The number on each rule’s conclusion is positive coverage; the number on each premise is negative coverage. Click a number to browse the tests.
value| Line | Coverage | Source |
|---|---|---|
| 71 | N/A | (let () = REUSED_CHILD_EXECUTIONS.set( REUSED_CHILD_EXECUTIONS.get() + 1, )) |
| ──────── ("value") | ||
| 75 | ✗ | (reused_child(value) => value) |