format: state the postcondition convention for instruction contexts - #281

format: state the postcondition convention for instruction contexts#281

gnidan merged 2 commits into

mainethdebug/format:mainfrom

architect-postcondition-conventionethdebug/format:architect-postcondition-conventionCopy head branch name to clipboard