Judgment all_even at crates/formality-core/src/judgment/test_for_all.rs:19
Signature:
all_even(nums: Vec<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.
all_even| Line | Coverage | Source |
|---|---|---|
| 26 | ✗ | (for_all(n in nums) (if is_even(n).is_ok())) |
| ──────── ("all_even") | ||
| 29 | 2 | (all_even(nums) => ()) |