Skip to main content

Module reverse_coverage

Module reverse_coverage 

Source
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.
ReverseCoverageReport
Result of reverse coverage analysis.

Functions§

reverse_coverage
Scan a crate directory for pub fn declarations and diff against binding.yaml.