Assertions - Graph View Statements in code that check an assumption the programmer believes is always true, and stop the program loudly when it turns out to be false. View concept details Related ConceptsFail Fast Design by Contract Defensive Programming Error Handling Parse, Don't Validate Unit Testing Property-Based Testing Correct by Construction Total Functions Guard Clauses ← Back to full graph