Skip to content

Commit a98a029

Browse files
committed
tools: use separate .autofuzz.log files too for the separate invocations of fuzz_v_parser_with_radamsa.sh
1 parent a23ebcb commit a98a029

File tree

1 file changed

+2
-3
lines changed

1 file changed

+2
-3
lines changed

cmd/tools/fuzz/fuzz_v_parser_with_radamsa.sh

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,6 @@ if [ ! -f $PARSER_EXECUTABLE ]; then
1313
fi
1414

1515
while true; do
16-
radamsa --meta autofuzz.log examples/hello_world.v > "${OUTPUT_FILE}";
17-
echo -ne "OFILE: ${OUTPUT_FILE}";
18-
./"${PARSER_EXECUTABLE}" ${OUTPUT_FILE} || break;
16+
radamsa --meta "${OUTPUT_FILE}.autofuzz.log" examples/hello_world.v > "${OUTPUT_FILE}";
17+
echo -ne "OFILE: ${OUTPUT_FILE}"; ./"${PARSER_EXECUTABLE}" ${OUTPUT_FILE} || break;
1918
done

0 commit comments

Comments
 (0)