X-Git-Url: http://plrg.eecs.uci.edu/git/?p=oota-llvm.git;a=blobdiff_plain;f=lib%2FFuzzer%2FFuzzerDriver.cpp;h=dd0db86e02e16cafb81bb2598b915449ce6acce4;hp=6b8a4b220ef9b3f1dea5b47395e3bc33f68af45a;hb=556425f9a9b6c0a2f4c7637b91893e186e62cf7a;hpb=4345121f7df7acf1ab0f69fdc12094955e0a1fa2 diff --git a/lib/Fuzzer/FuzzerDriver.cpp b/lib/Fuzzer/FuzzerDriver.cpp index 6b8a4b220ef..dd0db86e02e 100644 --- a/lib/Fuzzer/FuzzerDriver.cpp +++ b/lib/Fuzzer/FuzzerDriver.cpp @@ -215,6 +215,7 @@ int FuzzerDriver(int argc, char **argv, UserCallback Callback) { Fuzzer::FuzzingOptions Options; Options.Verbosity = Flags.verbosity; Options.MaxLen = Flags.max_len; + Options.UnitTimeoutSec = Flags.timeout; Options.DoCrossOver = Flags.cross_over; Options.MutateDepth = Flags.mutate_depth; Options.ExitOnFirst = Flags.exit_on_first; @@ -245,7 +246,7 @@ int FuzzerDriver(int argc, char **argv, UserCallback Callback) { // Timer if (Flags.timeout > 0) - SetTimer(Flags.timeout); + SetTimer(Flags.timeout / 2 + 1); if (Flags.verbosity >= 2) { std::cerr << "Tokens: {";