Lines Matching defs:Options
63 // TODO: handle (Options.HandleXfsz)
115 void SetSignalHandler(const FuzzingOptions& Options) {
116 HandlerOpt = &Options;
118 if (Options.UnitTimeoutSec > 0)
119 Timer.SetTimer(Options.UnitTimeoutSec / 2 + 1);
121 if (Options.HandleInt || Options.HandleTerm)
129 if (Options.HandleSegv || Options.HandleBus || Options.HandleIll ||
130 Options.HandleFpe)
133 if (Options.HandleAbrt)