verify: Count the calls inside cppverify::choose as calls of the function it is written in - #15

verify: Count the calls inside cppverify::choose as calls of the function it is written in#15

SwayamInSync merged 7 commits into

mainSwayamInSync/cpp-verify:mainfrom

fix/choose-recursionSwayamInSync/cpp-verify:fix/choose-recursionCopy head branch name to clipboard