chickadee » simple-contracts » contract-check-level

contract-check-level n ..parameter

no contract checks if n is -1 only precondition checks if n is 0, the default pre- and postcondition checks if n is +1