Fixup regression test after merging #1115#1208

kroening merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

fix-regression-testdiffblue/hw-cbmc:fix-regression-testCopy head branch name to clipboard