optimin: fix default timeout

So that it matches the help text
This commit is contained in:
Adrian Herrera
2021-07-24 23:37:28 +00:00
parent 1afa0d7861
commit 33f9f911c1
2 changed files with 2 additions and 2 deletions

View File

@ -40,7 +40,7 @@ General options:
-m megs - Memory limit for child process (default=none) -m megs - Memory limit for child process (default=none)
-o dir - Output directory -o dir - Output directory
-p - Display progress bar -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 -w csv - Weights file
Generic Options: Generic Options:

View File

@ -142,7 +142,7 @@ static cl::opt<std::string> MemLimit(
cl::value_desc("megs"), cl::init("none")); cl::value_desc("megs"), cl::init("none"));
static cl::opt<std::string> Timeout( static cl::opt<std::string> Timeout(
"t", cl::desc("Run time limit for child process (default=5000)"), "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( static cl::opt<bool> CrashMode(
"C", cl::desc("Keep crashing inputs, reject everything else")); "C", cl::desc("Keep crashing inputs, reject everything else"));