debug-markers |
Diagnose expressions and substitute debug markers |
diagnose_assertion_failure |
Implement a custom assertion |
diagnose_expressions |
Diagnose expressions and substitute debug markers |
fatal_error |
Signal a fatal error (and optionally terminate the program execution) |
forwarded_arg_label |
Implement a custom assertion |
postcondition |
Pre- and postcondition checking (assertions) |
precondition |
Pre- and postcondition checking (assertions) |
precondition_fatal_error_action |
Signal a fatal error (and optionally terminate the program execution) |
sanity_check |
Pre- and postcondition checking (assertions) |