Open Himeshi opened 6 years ago
Develop a mechanism to automatically detect the input and automatically insert inserting klee_make_symbolic and klee_track_error calls to the program to eliminate manually inserting them.
Develop a mechanism to automatically detect the input and automatically insert inserting klee_make_symbolic and klee_track_error calls to the program to eliminate manually inserting them.