verify: Reject a quantifier in executable code - #38

verify: Reject a quantifier in executable code#38

SwayamInSync merged 7 commits into

mainSwayamInSync/cpp-verify:mainfrom

fix/executable-quantifiersSwayamInSync/cpp-verify:fix/executable-quantifiersCopy head branch name to clipboard