Added check for cbmc-viewer version.#174

adpaco-aws merged 2 commits intomodel-checking:main-152-2021-06-07model-checking/kani:main-152-2021-06-07from

vecchiot-aws:cbmc-viewer-version-checkvecchiot-aws/rmc:cbmc-viewer-version-checkCopy head branch name to clipboard