Skip to main content

Module verify

sem_core::parser

Module verify 

Source
Expand description

Contract verification: check that callers pass the correct number of arguments to callees. Heuristic, not perfect, but catches obvious mismatches.

Structs§

ContractViolation

Functions§

verify_contracts
Verify function call contracts across the codebase.
verify_contracts_with_graph
Like verify_contracts, but accepts a pre-built graph + entities to avoid redundant work when the caller already has them cached.