Error handlingE.8State your postconditionsReason To avoid interface errors. See also: postcondition ruleView on isocpp.github.io →