diff options
Diffstat (limited to 'utils/optimin/src')
| -rw-r--r-- | utils/optimin/src/OptiMin.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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")); |