diff options
| author | Adrian Herrera <adrian.herrera02@gmail.com> | 2021-07-24 23:37:28 +0000 |
|---|---|---|
| committer | Adrian Herrera <adrian.herrera02@gmail.com> | 2021-07-28 06:50:41 +0000 |
| commit | 33f9f911c13cfd513366b7b1c9f9c66c0aa944f7 (patch) | |
| tree | c5feb0a57de2568d58403cab27da5a0c0bc3801c /utils/optimin | |
| parent | 1afa0d78619e57fcdfbc19d9cfa37256962dea59 (diff) | |
| download | afl++-33f9f911c13cfd513366b7b1c9f9c66c0aa944f7.tar.gz | |
optimin: fix default timeout
So that it matches the help text
Diffstat (limited to 'utils/optimin')
| -rw-r--r-- | utils/optimin/README.md | 2 | ||||
| -rw-r--r-- | 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")); |