The adopted contracts design separates checking from continuation
engineeringcppcontractsstandardscorrectnessRapperswil advances contracts for C++20 with separate controls for checking and continuation after a violation. The adopted wording also constrains side effects, redeclarations and postconditions.