Judgment memo_reachable
judgment_fn! {
fn memo_reachable(graph: Arc<FiniteGraph>, from: u32) => u32 {
/* rules omitted */
}
}Source: crates/formality-core/src/judgment/test_memo/soundness.rs:113
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.
edge| Line | Coverage | Source |
|---|---|---|
| 118 | ✗ | (to in graph.successors(*from)) |
| ──────── ("edge") | ||
| 120 | ✗ | (memo_reachable(graph, from) => to) |
transitive| Line | Coverage | Source |
|---|---|---|
| 124 | ✗ | (memo_reachable(graph, from) => intermediate) |
| 125 | ✗ | (memo_reachable(graph, intermediate) => to) |
| ──────── ("transitive") | ||
| 127 | ✗ | (memo_reachable(graph, from) => to) |