Hi Jun,
As far as I can tell, there's a configuration problem there. You should
make sure that you passed the --with-llvm option to KLEE's configure
script.
Cristian
On 16/04/10 16:17, Jun Koi wrote:
Hi,
I am starting to play with Klee. I followed the instruction on the
homepage to
On 14/04/10 18:54, Thanh Vo wrote:
Hi Cristian,
Thank you again for your answer. I just fixed the input program and make
symbolic to the variables. But, the problem remains because STP then
Klee does not support floating point numbers. I also noticed that STP
does support real arithmetic.
Hi Stefan,
The invariant you mention should indeed hold. I've never seen a
violation on a 32-bit machine. But I encountered a similar issue on
64-bit, where I think the next address should have been none. I don't
have time to debug this any further, but let me know if you do.
Best,