Judgment prove_thing at crates/formality-coverage/tests/scrape.rs:37
Signature:
prove_thing(x: u32) => ()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.
positive| Line | Coverage | Source |
|---|---|---|
| 43 | ✗ | (if x > 0) |
| ──────── ("positive") | ||
| 45 | ✗ | (prove_thing(x) => ()) |
zero| Line | Coverage | Source |
|---|---|---|
| 49 | ✗ | (if x == 0) |
| ──────── ("zero") | ||
| 51 | ✗ | (prove_thing(x) => ()) |