Dear Cristian,
Sorry to disturb you for a question.
About the file assembly.ll, i donot know how to read it ,because i did not
know some rules. Where can i learn those rules which it needs to read the
assembly.ll in Klee-last.?
Sincerely,
ZengJie
------------------ Original ------------------
From: "Cristian Cadar(2008 KLEE Author)"<[email protected]>;
Date: 2014??5??20??(??????) ????11:01
To: "klee-dev"<[email protected]>;
Subject: Re: [klee-dev] 3 quick questions about KLEE
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
.
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
