Hello everyone, In tutorial one, it says "KLEE provides a convenient replay library, which simply replaces the call to klee_make_symbolic with a call to a function that assigns to our input the value stored in the .ktest file". Does this also work if the program contains other klee methods such as klee_int ?
Thanks, Xiao -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100929/b6746b8f/attachment.html
