diff --git a/fuzzing/fuzz/fuzz b/fuzzing/fuzz/fuzz index 5d0975418db384c1d764b2c15e8cf90670f3b516..7b2bc38252189c5533fc873200563e148862a3cd 100644 --- a/fuzzing/fuzz/fuzz +++ b/fuzzing/fuzz/fuzz @@ -150,7 +150,7 @@ if [ -e $1 ]; then FUZZER="$(basename $FUZZER_BIN)" else FUZZER="${1%_fuzzer}" - FUZZER_BIN="${FUZZER_BASE}/${OPT_ENGINE}/${FUZZER}_fuzzer" + FUZZER_BIN="${FUZZER_BASE}/${OPT_ENGINE}/${FUZZER}_fuzzer/${FUZZER}_fuzzer" if [ ! -e "$FUZZER_BIN" ]; then die "Invalid fuzzer name ${FUZZER}: ($FUZZER_BIN does not exist)"