essentials.py

#global AFL_OBJ, WHICH_KLEE, LLVM_OBJ, TESTCASES, FUZZ_TIME, GCOV_DIR, LLVM_OPT, LIB_MACKEOPT, AFL_BINARY_ARGS, READ_FROM_FILE, OUTPUT_DIR, AFL_RESULTS_FOLDER, KLEE_RESULTS_FOLDER, FUZZ_TIME

AFL_OBJ = ""
WHICH_KLEE = ""
LLVM_OBJ = ""
TESTCASES = ""
GCOV_OBJ = ""
GCOV_DIR = ""
LLVM_OPT = ""
LIB_MACKEOPT = ""
AFL_BINARY_ARGS = ""
READ_FROM_FILE = ""
OUTPUT_DIR = ""
AFL_RESULTS_FOLDER = ""
KLEE_RESULTS_FOLDER = ""
FUZZ_TIME = ""
KLEE_TIME = ""