Nightly CBMC jobs fail due to goto-cc version mismatch #2952
Description
The nightly CBMC jobs attempt to build and run the perf suite with the latest CBMC versions. Unfortunately, it looks like these jobs have been failing over the weekend as in this run:
The input was compiled with an old version of goto-cc; please recompile
error: goto-cc exited with status exit status: 1