On 20/05/14 14:37, Kirill Bogdanov wrote:
*Question 1. *
I am running integer version of KLEE and I am getting this error in my
What do you mean by the "integer version"?
computations. Can I rearrange my code to avoid this error ? Am I doing
something wrong here ?
I don't see this error, although I get a different one, in the CEX
caching code (which can be disabled with --use-cex-cache=false). I'm
using STP r940 (the one recommended on the website), what STP version
are you using? I suggest opening a bug report on GitHub.
Could you please advise on nature of the following error:
/State:UpdateQueues for index State:UpdateQueues for index KLEE:
WARNING ONCE: flushing 80032 bytes on read, may be slow and/or
crash: MO10182[80032] allocated at main(): %10 = call i8*
@_Znwm(i64 80032), !dbg !3534/
/ERROR: STP did not return successfully. Most likely you forgot to
run 'ulimit -s unlimited'/
my ulimit is already set to unlimited and I have 20+GB of ram available,
so I just trying to understand general direction of what could be the cause.
Take a look at
http://www.mail-archive.com/klee-dev%40imperial.ac.uk/msg00950.html
Best,
Cristian
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
