verifier_nondet.c : This code contains _VERIFIER_nondet function definisions.
Directory : Contains some benchamarking program from test-comp
# instrumentation command
afl-clang-lto verifier_nondet.c benchmark_program.c -o main.o
# fuzzing command
afl-fuzz -i input/ -o output/ ./main.o