Actions
Bug #5355
open/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
Updated by Karine Even Mendoza over 7 years ago
- Assignee set to Karine Even Mendoza
Actions