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.
🔗