[tab:support.contract.enum.detection] (original) (raw)
17 Language support library [support]
17.10 Contract-violation handling [support.contract]
17.10.2 Enumerations [support.contract.enum]
Table 46 — Enum detection_mode [tab:support.contract.enum.detection]
| 🔗Name | Meaning |
|---|---|
| 🔗predicate_false | The predicate of the contract assertion evaluated to false or would have evaluated to false. |
| 🔗evaluation_exception | An uncaught exception occurred during evaluation of the contract assertion. |
| 🔗 |