Add in commented-out code to get KLEE experiments. (#1178)
Add in commented-out code to get KLEE experiments. (#1178)

* Add in commented-out code to get KLEE experiments.

* fix
google/fuzzbench,google/fuzzbench,google/fuzzbench,google/fuzzbench,google/fuzzbench