Judgment monotone_node
judgment_fn! {
fn monotone_node(system: MonotoneSystem, node: u8) => () {
/* rules omitted */
}
}Source: crates/formality-core/src/judgment/test_memo/soundness.rs:225
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.
minimal satisfying clause| Line | Coverage | Source |
|---|---|---|
| 230 | ✗ | (clause in system.clauses(*node)) |
| 231 | ✗ | (for_all(dependency in clause) (monotone_node(system, dependency) => ())) |
| ──────── ("minimal satisfying clause") | ||
| 234 | ✗ | (monotone_node(system, node) => ()) |