diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/fuzz-test.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/fuzz-test.sh b/tools/fuzz-test.sh index 4d18a94d7f..d3922c2e3e 100755 --- a/tools/fuzz-test.sh +++ b/tools/fuzz-test.sh @@ -75,9 +75,9 @@ if [ $VALGRIND -eq 1 ]; then RUNNER="`dirname $0`/valgrind-wireshark.sh" COMMON_ARGS="-b $BIN_DIR $COMMON_ARGS" declare -a RUNNER_ARGS=("" "-T") - # Valgrind requires more resources, so permit 1.5x memory and 2x time + # Valgrind requires more resources, so permit 1.5x memory and 2.5x time # (1.5x time is too small for a few large captures in the menagerie) - MAX_CPU_TIME=`expr 2 \* $MAX_CPU_TIME` + MAX_CPU_TIME=`expr 5 \* $MAX_CPU_TIME / 2` MAX_VMEM=`expr 3 \* $MAX_VMEM / 2` else # Not using valgrind, use regular tshark. |