verify: Follow the body of a choose in a spec's reads and postcondition checks - #43

verify: Follow the body of a choose in a spec's reads and postcondition checks#43

SwayamInSync merged 6 commits into

mainSwayamInSync/cpp-verify:mainfrom

fix/choose-witness-factsSwayamInSync/cpp-verify:fix/choose-witness-factsCopy head branch name to clipboard