Project

General

Profile

Bug #6058

MemoryException

Added by S A about 6 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Start date:
02/01/2018
Due date:
% Done:

0%

Estimated time:

Description

/hifrog --logic qfcuf --unwind 10 --claim 1 hi-bench/challenge-bench/svcomp17/c/eca-rers2012/Problem05_label00_false-unreach-call.c

Error message:
terminate called after throwing an instance of '20OutOfMemoryException'
Command terminated by signal 6

Also available in: Atom PDF