enable_function_contracts


enable_function_contracts()          
      

Enable checks for function pre/post conditions. Return void.

Also see:

disable_function_contracts


Core Module Index | Contents