Project

General

Profile

Actions

Bug #5355

open

/regression/hifrog/benchmarks/06_main5.c

Added by Sepideh Asadi about 7 years ago. Updated almost 7 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

Actions #1

Updated by Karine Even Mendoza almost 7 years ago

  • Assignee set to Karine Even Mendoza
Actions

Also available in: Atom PDF