Searched refs:statuscount_ (Results 1 – 2 of 2) sorted by relevance
89 int status() const { return statuscount_; } in status()90 void bad_status() { statuscount_++; } in bad_status()256 int statuscount_; // Total test errors seen. variable
733 statuscount_ = 0; in Sat()1639 statuscount_); in AnalysisAllStats()2052 if (statuscount_) { in PrintResults()