Judgment is_zero at crates/formality-core/tests/coverage.rs:40
Signature:
is_zero(n: Num) => ()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.
is_zero| Line | Coverage | Source |
|---|---|---|
| 45 | ✗ | (if n.0 == 0) |
| ──────── ("is_zero") | ||
| 47 | ✗ | (is_zero(n) => ()) |