[klee-dev] klee seems to crash when testing a simple program

[Daniel Liew]

I don't remember seeing this before.

I'm afraid I can't reproduce the issue on my machine so there's
nothing I can do.

If you really want to you can add the issue to the issue tracker (
https://github.com/ccadar/klee/issues?page=1&state=open ) but if no
developers can reproduce the issue there's not much we can do.

As you can see from the error message the problem is in
ConstantExpr::create() . Whatever value is being passed is being is
either too big to be represented by the requested width OR there is a
bug in Bits64::truncateToNBits().

Get in there with a debugger (e.g. gdb) and find out what values are
causing the assertion failure.

Out of curiosity...

What architecture are you using (hardware and software wise - i.e.
32-bit or 64-bit)? I'm using 64-bit. I have a sneaking suspicion
you're using 32-bit
What distro are you using?
What kernel version are you using?

On 29 October 2013 22:38, Sandeep <sdasgup3 at illinois.edu> wrote:
> I am still getting the error that Ting Chen reported. Also the llvm build
> version that I am using is LLVM build 2.9 as prescribed at
>
> http://thread.gmane.org/gmane.comp.compilers.llvm.klee/923
>
> Please let me know what is the actual issue.
>
>
> --
> With Thanks and Regards,
> Sandeep Dasgupta
> Graduate ( PhD ) in Computer Science
> Room : 1218 Siebel Center for Computer Science