Enum
ContractFailureKind
Values 6
| Name | Value | Hex |
|---|---|---|
| Precondition | 0x00 | |
| Postcondition | 0x00 | |
| PostconditionOnException | 0x00 | |
| Invariant | 0x00 | |
| Assert | 0x00 | |
| Assume | 0x00 |
| Name | Value | Hex |
|---|---|---|
| Precondition | 0x00 | |
| Postcondition | 0x00 | |
| PostconditionOnException | 0x00 | |
| Invariant | 0x00 | |
| Assert | 0x00 | |
| Assume | 0x00 |