Judgment only_one at crates/formality-coverage/tests/scrape.rs:56
Signature:
only_one(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.
one| Line | Coverage | Source |
|---|---|---|
| 61 | ✗ | (if x == 1) |
| ──────── ("one") | ||
| 63 | ✗ | (only_one(x) => ()) |