Judgment check_all_crates at crates/formality-rust/src/check/mod.rs:41
Signature:
check_all_crates(crates: Crates,) => ()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.
check all prefixes| Line | Coverage | Source |
|---|---|---|
| 48 | N/A | (let crates = with_core_crate(&crates)) |
| 51 | ✗ | (for_all(i in 0..crates.len()) (let program = crates.prefix(i).to_prove_decls()) (check_crate(program, &crates.crates[i]) => ())) |
| ──────── ("check all prefixes") | ||
| 55 | 114 | (check_all_crates(crates) => ()) |