Define ADS_CONTRACTS
Defined in File Contract.h
Define Documentation
-
ADS_CONTRACTS
the level of the contracts checked: 0 none, 1 preconditions, 2 postconditions, 3 invariants and audits; 1 by default, 0 with NDEBUG
Defined in File Contract.h
the level of the contracts checked: 0 none, 1 preconditions, 2 postconditions, 3 invariants and audits; 1 by default, 0 with NDEBUG