Lines Matching refs:Options
292 void SetSignalHandler(const FuzzingOptions &Options) {
294 if (Options.UnitTimeoutSec > 0) {
295 std::thread T(AlarmHandler, Options.UnitTimeoutSec / 2 + 1);
300 if (Options.HandleInt || Options.HandleTerm) {
306 if (!Options.HandleSegv && !Options.HandleBus && !Options.HandleIll &&
307 !Options.HandleFpe && !Options.HandleAbrt)
Indexes created Sun Oct 19 16:10:00 GMT 2025