Lines Matching defs:Options
114 void SetSignalHandler(const FuzzingOptions& Options) {
116 if (Options.UnitTimeoutSec > 0 && !LIBFUZZER_EMSCRIPTEN)
117 SetTimer(Options.UnitTimeoutSec / 2 + 1);
118 if (Options.HandleInt)
120 if (Options.HandleTerm)
122 if (Options.HandleSegv)
124 if (Options.HandleBus)
126 if (Options.HandleAbrt)
128 if (Options.HandleIll)
130 if (Options.HandleFpe)
132 if (Options.HandleXfsz)
134 if (Options.HandleUsr1)
136 if (Options.HandleUsr2)