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 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. So, how can I make Klee treat variables as
