Fail CMake build if make-generated files are found#1482

thk123 merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

reuk:reuk/more-cmake-errorsreuk/cbmc:reuk/more-cmake-errorsCopy head branch name to clipboard