Judgment check_all_crates
judgment_fn! {
pub fn check_all_crates(
crates: Crates,
) => () {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/mod.rs:42
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 |
|---|---|---|
| 49 | N/A | (let crates = with_core_crate(&crates)) |
| 52 | ✗ | (for_all(i in 0..crates.len()) (let program = crates.prefix(i).to_prove_decls()) (check_crate(program, &crates.crates[i]) => ())) |
| ──────── ("check all prefixes") | ||
| 56 | 214 | (check_all_crates(crates) => ()) |