Project

General

Profile

Bug #5355

/regression/hifrog/benchmarks/06_main5.c

Added by Sepideh Asadi about 2 years ago. Updated about 2 years ago.

Status:
New
Priority:
Normal
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 about 2 years ago

  • Assignee set to Karine Even Mendoza

Also available in: Atom PDF