[TEST] Adding llvm-lit based test harness for cpp-verify contracts - #7

[TEST] Adding llvm-lit based test harness for cpp-verify contracts#7

SwayamInSync merged 3 commits into

mainSwayamInSync/cpp-verify:mainfrom

testsSwayamInSync/cpp-verify:testsCopy head branch name to clipboard