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: optimin: fix default timeout

So that it matches the help text
---
 utils/optimin/src/OptiMin.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'utils/optimin/src/OptiMin.cpp')

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"));
-- 
cgit 1.4.1