Automate input detection #72
Description
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.
{{ message }}
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.