Actions
Bug #6058
openMemoryException
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
No data to display
Actions