Searched refs:get_watchdog_warning (Results 1 – 2 of 2) sorted by relevance
540 bool get_watchdog_warning() const { return watchdog_warning; } in get_watchdog_warning() function
307 if (!options.get_watchdog_warning()) { in GxEngine()