Checking and compiling contracts

Checking evaluates a contract against data and test callers. Compilation checks its definitions and produces a contract that an application can load.

Checking contracts

Validate data, mock caller context, and read the results.

Checking contracts

Compiling contracts

Compile a contract, save it, or export its validation plan.

Compiling contracts