Man pages for precondition
Lightweight Precondition, Postcondition, and Sanity Checks
| 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... |
| precondition | Pre- and postcondition checking (assertions) |
