Project

General

Profile

Actions

Bug #6037

open

Error in generating interpolant in svcomp 17

Added by Sepideh Asadi about 7 years ago. Updated almost 7 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Start date:
20/12/2017
Due date:
% Done:

0%

Estimated time:

Description

Description

When Start generating interpolants the following error occurred:

How to run:

/hifrog --unwind 10 --logic qfuf --claim 1 /home/asadis/hi-bench/challenge-bench/sv-comp17/c/eca-rers2012/Problem02_label31_true-unreach-call.c

Error message:

SOLVER TIME: 26.092
RESULT: UNSAT - it holds!
Start generating interpolants...
  • Error in `/home/asadis/private-repo/hifrog/trunk/cprover/src/funfrog/hifrog': double free or corruption (!prev): 0x0000000011700510 ***
    Command terminated by signal 6
    real 35.66
Actions

Also available in: Atom PDF