Project

General

Profile

Bug #7116

Segmentation fault in summary reuse in LRA

Added by Sepideh Asadi about 1 year ago.

Status:
New
Priority:
High
Start date:
19/04/2018
Due date:
% Done:

0%

Estimated time:

Description

How to run:
./hifrog /hifrog/trunk/cprover/regression/funfrog/03_simple/no_grouping.c --claim 1 --logic qflra // First generate summary
./hifrog /hifrog/trunk/cprover/regression/funfrog/03_simple/no_grouping.c --claim 2 --logic qflra // Reuse the previous summary

-------------------------------------
Error:
; lra checker query time so far: 0.000002

Thread 3 received signal SIGSEGV, Segmentation fault.
0x0000000101328af0 in ?? ()
Segmentation fault: 11

Also available in: Atom PDF