verify: Make chooses with one condition one choice, kept across writes elsewhere - #44

verify: Make chooses with one condition one choice, kept across writes elsewhere#44

SwayamInSync merged 12 commits into

mainSwayamInSync/cpp-verify:mainfrom

fix/choice-framesSwayamInSync/cpp-verify:fix/choice-framesCopy head branch name to clipboard