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 <[email protected]> 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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
