Lines Matching defs:Options
86 void SetSignalHandler(const FuzzingOptions& Options) {
87 if (Options.UnitTimeoutSec > 0)
88 SetTimer(Options.UnitTimeoutSec / 2 + 1);
89 if (Options.HandleInt)
91 if (Options.HandleTerm)
93 if (Options.HandleSegv)
95 if (Options.HandleBus)
97 if (Options.HandleAbrt)
99 if (Options.HandleIll)
101 if (Options.HandleFpe)
103 if (Options.HandleXfsz)
105 if (Options.HandleUsr1)
107 if (Options.HandleUsr2)