cellc_constraints
Verify obligations and review runtime-error registry for contract constraints, with default summary.
Instructions
Verifier obligations + runtime-error registry for a contract. Summary by default.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| full | No | ||
| path | No | ||
| source | No | ||
| target_profile | No |