On 08/02/13 13:48, Paul Rubel wrote:
Christian,
Cristian Cadar writes:
Hi Paul, I guess it would be useful to have more control over the LLVM
optimizations performed in KLEE. I would be happy to incorporate such a
patch.
This was a tricky question. It was posted to the klee list but
Hi Paul, I guess it would be useful to have more control over the LLVM
optimizations performed in KLEE. I would be happy to incorporate such a
patch.
Best,
Cristian
On 31/01/13 15:29, Paul Rubel wrote:
Regarding optimizations I've been down that path lately. Even if the
code is compile
Hi KLEE developer group members:
I am new to KLEE; These days I want to do some experiments on Cloud9 (build
based on KLEE), when I run a program as following:
#includeklee/klee.h
int main(){
int a;
klee_make_symbolic(...);
if(a0)
return 1;
else
return -1;
}
I found the
On Thu, Jan 31, 2013 at 01:27:48AM -0500, bing liu wrote:
Hi KLEE developer group members:
I am new to KLEE; These days I want to do some experiments on Cloud9 (build
based on KLEE), when I run a program as following:
#includeklee/klee.h
int main(){
int a;
klee_make_symbolic(...);
Jonathan Neuschäfer writes:
snip
The developer of Cloud9 told me this might be due to KLEE compiler
optimization or some other reason. Is anybody can tell me why?
Is there any way I can stop this optimization?
Is klee called with -optimize on the command line at some point?