Closed
Description
The regression tests in goto-gcc are not enabled on CMake (#1481 tried to turn them on).
Travis build output:
53: Test command: /home/travis/build/diffblue/cbmc/regression/test.pl "-c" "/home/travis/build/diffblue/cbmc/build/bin/goto-cc" "-C"
53: Test timeout computed to be: 9.99988e+06
53: Loading
53: 5 tests found
53:
53: Running tests
53: Running expect_fail/test.desc [FAILED]
53: Running ignore_cprover_macros/test.desc [OK]
53: Running run_diagnostic/test.desc [FAILED]
53: Running verbosity1/test.desc [OK]
53: Running verbosity2/test.desc [FAILED]
53:
53: Tests failed
53: 3 of 5 tests failed
17/23 Test #53: goto-gcc-CORE ....................***Failed 1.40 sec