Bug #5355
/regression/hifrog/benchmarks/06_main5.c
Start date:
25/06/2017
Due date:
% Done:
0%
Estimated time:
Description
/hifrog --claim 1 --theoref --no-itp --unwind 10 --bitwidth 32 --heuristic 4 /regression/hifrog/benchmarks/06_main5.c ---> SAT
Obtained counter-examples are refined
(15 / 26 expressions bit-blasted)
ASSERTION DOES NOT HOLD
VERIFICATION FAILED
TOTAL TIME FOR CHECKING THIS CLAIM: 16.787
------------------------------------------------
CBMC reports as SUCCESSFUL
History
#1 Updated by Karine Even Mendoza over 6 years ago
- Assignee set to Karine Even Mendoza