Searched refs:monitor_mode_ (Results 1 – 2 of 2) sorted by relevance
617 if (monitor_mode_) { in Initialize()753 monitor_mode_ = 0; in Sat()922 ARG_KVALUE("--monitor_mode", monitor_mode_, true); in ParseArgs()1204 if (monitor_mode_) { in InitializeThreads()1524 if (!monitor_mode_) { in JoinThreads()1976 if (!monitor_mode_) in Run()
196 int monitor_mode_; // Switch for monitor-only mode SAT. variable