Source: cbmc Version: 5.5-1 Severity: serious https://buildd.debian.org/status/package.php?p=cbmc&suite=sid
... Running Pointer_array5/test.desc [FAILED] ... Tests failed 1 of 383 tests failed, 20 tests skipped Failed test: Pointer_array5 CBMC version 5.5 64-bit s390x linux Parsing main.c file <command-line> line 0: <command-line>:0:0: warning: "__STDC_VERSION__" redefined <built-in>: note: this is the location of the previous definition Converting Type-checking main Generating GOTO Program Adding CPROVER library (s390x) file <command-line> line 0: <command-line>:0:0: warning: "__STDC_VERSION__" redefined <built-in>: note: this is the location of the previous definition Removal of function pointers and virtual functions Partial Inlining Generic Property Instrumentation Starting Bounded Model Checking size of program expression: 95 steps simple slicing removed 24 assignments Generated 1 VCC(s), 1 remaining after simplification Passing problem to propositional reduction converting SSA Running propositional reduction Post-processing Solving with MiniSAT 2.2.1 with simplifier 12568 variables, 25409 clauses SAT checker: instance is SATISFIABLE Runtime decision procedure: 0.114s ** Results: [main.assertion.1] assertion address==&a0: FAILURE ** 1 of 1 failed (1 iteration) VERIFICATION FAILED EXIT=10 SIGNAL=0 debian/rules:31: recipe for target 'override_dh_auto_test' failed make[1]: *** [override_dh_auto_test] Error 1 make[1]: Leaving directory '/«PKGBUILDDIR»' debian/rules:15: recipe for target 'build-arch' failed make: *** [build-arch] Error 2 dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2
