17 Language support library [support]

17.10 Contract-violation handling [support.contract]

17.10.2 Enumerations [support.contract.enum]

Table 45 — Enum evaluation_semantic[tab:support.contract.enum.semantic]
Name
Meaning
ignore
Ignore evaluation semantic
observe
Observe evaluation semantic
enforce
Enforce evaluation semantic
quick_enforce
Quick-enforce evaluation semantic