diff options
Diffstat (limited to 'lib/fuzzer/FuzzerDriver.cpp')
| -rw-r--r-- | lib/fuzzer/FuzzerDriver.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/fuzzer/FuzzerDriver.cpp b/lib/fuzzer/FuzzerDriver.cpp index 5458d6c06..54c7ff079 100644 --- a/lib/fuzzer/FuzzerDriver.cpp +++ b/lib/fuzzer/FuzzerDriver.cpp @@ -709,6 +709,8 @@ int FuzzerDriver(int *argc, char ***argv, UserCallback Callback) { if (Flags.collect_data_flow) Options.CollectDataFlow = Flags.collect_data_flow; Options.LazyCounters = Flags.lazy_counters; + if (Flags.stop_file) + Options.StopFile = Flags.stop_file; unsigned Seed = Flags.seed; // Initialize Seed. |