Judgment transitive_reachable at crates/formality-core/src/judgment/test_reachable.rs:23
Signature:
transitive_reachable(graph: Arc<Graph>, from: u32,) => u32The number on each rule’s conclusion is positive coverage; the number on each premise is negative coverage. Click a number to browse the tests.
base| Line | Coverage | Source |
|---|---|---|
| 31 | ✗ | (s in graph.successors(*start)) |
| ──────── ("base") | ||
| 33 | 2 | (transitive_reachable(graph, start) => s) |
transitive| Line | Coverage | Source |
|---|---|---|
| 37 | ✗ | (transitive_reachable(graph, a) => b) |
| 38 | ✗ | (transitive_reachable(graph, b) => c) |
| ──────── ("transitive") | ||
| 40 | 2 | (transitive_reachable(graph, a) => c) |