valuecontractcheck

Overview ¶

Command valuecontractcheck verifies that enabled Go/Lean conformance actually executed its required case families and passed, rather than skipping silently.