Adjust fuzzing runtime

fuzz/fuzz_all_native.py

@@ -47,8 +47,11 @@ def main():
         durations_seconds = [60] if os.getenv('GITHUB_EVENT_NAME') == 'scheduled' else [45]
         if args.seconds:
             # However, if seconds was specified, evenly divide total time among all fuzzers
-            # leaving a 5 second buffer for processing/building time between fuzz runs
-            actual_fuzz_time = total_time - (num_fuzzers * 5)
+            # leaving a 10 second buffer for processing/building time between fuzz runs
+            actual_fuzz_time = total_time - (num_fuzzers * 10)
+            if actual_fuzz_time <= 5 * num_fuzzers:
+                print(f"Seconds (--seconds {arg.seconds}) is too low to properly run fuzzers for 5sec each. Exiting.")
+                exit(1)
             durations_seconds = [ actual_fuzz_time / num_fuzzers ]
 
     for duration_seconds in durations_seconds:

tools/bin/go_core_fuzz

@@ -8,8 +8,8 @@ FUZZ_TIMEOUT_MINUTES=${FUZZ_TIMEOUT_MINUTES:-"5"}
 
 TOTAL_SECONDS=$((FUZZ_TIMEOUT_MINUTES * 60))
 if (( TOTAL_SECONDS >= 120 )); then
-    # Allow for a 60 second buffer between the timeout, and fuzz test runtime
-    FUZZ_SECONDS=$((TOTAL_SECONDS - 60))
+    # Allow for a 30 second buffer between the timeout, and fuzz test runtime
+    FUZZ_SECONDS=$((TOTAL_SECONDS - 30))
 else
     echo "Increase FUZZ_TIMEOUT_MINUTES to >=2, received $FUZZ_TIMEOUT_MINUTES"
     exit 1