Judgment sum_all at crates/formality-core/src/judgment/test_for_all.rs:55
Signature:
sum_all(nums: Vec<Num>,) => NumThe number on each rule’s conclusion is positive coverage; the number on each premise is negative coverage. Click a number to browse the tests.
sum| Line | Coverage | Source |
|---|---|---|
| 62 | N/A | (let acc: Num = Num(0)) |
| 63 | ✗ | (for_all(n in nums) with(acc) (let acc: Num = Num(acc.0 + n.0))) |
| ──────── ("sum") | ||
| 66 | 2 | (sum_all(nums) => acc) |