Source: cbmc Version: 5.84.0-5 Severity: serious Tags: ftbfs https://buildd.debian.org/status/logs.php?pkg=cbmc&ver=5.84.0-5 (m68k builds with nocheck)
... [31mTests failed[0m 1 of 453 tests failed, 350 tests skipped Failed test: __asm_fstcw-01 CBMC version 5.84.0 (cbmc-5.76.1) 64-bit arm64 linux Parsing msvc.i Converting Type-checking msvc Generating GOTO Program Adding CPROVER library (x86_64) gcc: error: unrecognized command-line option ‘-m64’ GCC preprocessing failed Removal of function pointers and virtual functions Generic Property Instrumentation Running with 8 object bits, 56 offset bits (default) Starting Bounded Model Checking **** WARNING: no body for function __asm_fstcw Runtime Symex: 0.0018543s size of program expression: 32 steps simple slicing removed 7 assignments Generated 2 VCC(s), 2 remaining after simplification Runtime Postprocess Equation: 2.5e-05s Passing problem to propositional reduction converting SSA Runtime Convert SSA: 0.000565307s Running propositional reduction Post-processing Runtime Post-process: 9.22e-06s Solving with MiniSAT 2.2.1 with simplifier 148 variables, 138 clauses SAT checker: instance is SATISFIABLE Runtime Solver: 0.000284463s Runtime decision procedure: 0.000977351s ** Results: msvc.i function main [main.assertion.1] line 5 default rounding mode: FAILURE [main.assertion.2] line 9 round upwards: FAILURE ** 2 of 2 failed (2 iterations) VERIFICATION FAILED EXIT=10 SIGNAL=0 Failed msvc.desc lines: ^EXIT=0$ [FAILED] ^VERIFICATION SUCCESSFUL$ [FAILED] make[4]: *** [Makefile:12: test] Error 1
