From a98a0290a0f77b13eb7b3832991855ab24667258 Mon Sep 17 00:00:00 2001 From: Delyan Angelov Date: Tue, 20 Aug 2024 22:16:52 +0300 Subject: [PATCH] tools: use separate .autofuzz.log files too for the separate invocations of fuzz_v_parser_with_radamsa.sh --- cmd/tools/fuzz/fuzz_v_parser_with_radamsa.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/cmd/tools/fuzz/fuzz_v_parser_with_radamsa.sh b/cmd/tools/fuzz/fuzz_v_parser_with_radamsa.sh index 964dbd7dd..ff020fb0f 100755 --- a/cmd/tools/fuzz/fuzz_v_parser_with_radamsa.sh +++ b/cmd/tools/fuzz/fuzz_v_parser_with_radamsa.sh @@ -13,7 +13,6 @@ if [ ! -f $PARSER_EXECUTABLE ]; then fi while true; do - radamsa --meta autofuzz.log examples/hello_world.v > "${OUTPUT_FILE}"; - echo -ne "OFILE: ${OUTPUT_FILE}"; - ./"${PARSER_EXECUTABLE}" ${OUTPUT_FILE} || break; + radamsa --meta "${OUTPUT_FILE}.autofuzz.log" examples/hello_world.v > "${OUTPUT_FILE}"; + echo -ne "OFILE: ${OUTPUT_FILE}"; ./"${PARSER_EXECUTABLE}" ${OUTPUT_FILE} || break; done -- 2.39.5