From 33f9f911c13cfd513366b7b1c9f9c66c0aa944f7 Mon Sep 17 00:00:00 2001
From: Adrian Herrera <adrian.herrera02@gmail.com>
Date: Sat, 24 Jul 2021 23:37:28 +0000
Subject: [PATCH] optimin: fix default timeout

So that it matches the help text
---
 utils/optimin/README.md       | 2 +-
 utils/optimin/src/OptiMin.cpp | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/utils/optimin/README.md b/utils/optimin/README.md
index 3036b449..c6f2af06 100644
--- a/utils/optimin/README.md
+++ b/utils/optimin/README.md
@@ -40,7 +40,7 @@ General options:
   -m megs     - Memory limit for child process (default=none)
   -o dir      - Output directory
   -p          - Display progress bar
-  -t msec     - Run time limit for child process (default=none)
+  -t msec     - Run time limit for child process (default=5000)
   -w csv      - Weights file
 
 Generic Options:
diff --git a/utils/optimin/src/OptiMin.cpp b/utils/optimin/src/OptiMin.cpp
index 84179022..4f88b897 100644
--- a/utils/optimin/src/OptiMin.cpp
+++ b/utils/optimin/src/OptiMin.cpp
@@ -142,7 +142,7 @@ static cl::opt<std::string> MemLimit(
     cl::value_desc("megs"), cl::init("none"));
 static cl::opt<std::string> Timeout(
     "t", cl::desc("Run time limit for child process (default=5000)"),
-    cl::value_desc("msec"), cl::init("4000"));
+    cl::value_desc("msec"), cl::init("5000"));
 
 static cl::opt<bool> CrashMode(
     "C", cl::desc("Keep crashing inputs, reject everything else"));