Hi everyone, I got the above error when running a program with inputs of "double" type. May I ask if this error is related to the way KLEE handles floating-point numbers? And how I can fix it?
Thank you, Sang _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
