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. STP does not support real arithmetic, unless you're referring to some very recent feature from STP's development branch that I am not aware of.
Best, Cristian