Expand description
Reverse coverage: detect public functions without contract bindings.
Forward coverage checks: does every binding have an implementation? Reverse coverage checks: does every implementation have a binding?
This closes the “whack-a-mole” gap where new functions escape the contract system silently.
Structs§
- PubFn
- A public function found in a crate’s source code.
- Reverse
Coverage Report - Result of reverse coverage analysis.
Functions§
- reverse_
coverage - Scan a crate directory for
pub fndeclarations and diff against binding.yaml.