add_equivalence_principle
Add equivalence principle validation to contract methods to handle non-deterministic operations with comparative or non-comparative checks and optional tolerance.
Instructions
Add Equivalence Principle validation to a contract method for handling non-deterministic operations
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| contract_code | Yes | The existing contract code | |
| method_name | Yes | Name of the method to add validation to | |
| validation_type | Yes | Type of validation to apply | |
| tolerance | No | Tolerance level for validation (optional) |