Indicates which contracts should be checked or not.
Array bound checks.
Assert checks.
Invariant checks.
Postcondition checks (out contract).
Precondition checks (in contract).
Switch error checks.
Indicates which contracts should be checked or not.