Test crates/formality-core/src/judgment.rs:19
Source location: crates/formality-core/src/judgment.rs:19
Rules proved (1)
| Judgment | Rule | All tests of this rule |
|---|---|---|
scaled | scaled | 1 test (not in the report) |
Premises failed (0)
This test records no negative coverage.
Proof trees
Proof tree
scaled (scaled)judgment.rs:14args