Yes, the replay library is supposed to contain versions of all the KLEE intrinsics that will work during replay. Most of them are just simple wrappers around klee_make_symbolic.
- Daniel On Wed, Sep 29, 2010 at 7:44 PM, <xiao.qu at us.abb.com> wrote: > > 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
