Searched refs:monitor_mode_ (Results 1 – 2 of 2) sorted by relevance
591 if (monitor_mode_) { in Initialize()716 monitor_mode_ = 0; in Sat()863 ARG_KVALUE("--monitor_mode", monitor_mode_, true); in ParseArgs()1070 if (monitor_mode_) { in InitializeThreads()1348 if (!monitor_mode_) { in JoinThreads()1800 if (!monitor_mode_) in Run()
187 int monitor_mode_; // Switch for monitor-only mode SAT. variable