E7: -fverify-* options for clang++ builds, a report per object, and quiet files without contracts - #120

E7: -fverify-* options for clang++ builds, a report per object, and quiet files without contracts#120

SwayamInSync merged 23 commits into

mainSwayamInSync/cpp-verify:mainfrom

fix/compile-time-optionsSwayamInSync/cpp-verify:fix/compile-time-optionsCopy head branch name to clipboard