Searched refs:max_errorcount_ (Results 1 – 2 of 2) sorted by relevance
175 uint64 max_errorcount_; // Number of errors before forced exit. variable
691 max_errorcount_ = 0; // Zero means no early exit. in Sat()861 ARG_IVALUE("--max_errors", max_errorcount_); in ParseArgs()1920 if (max_errorcount_ != 0) { in Run()1922 if (errors > max_errorcount_) { in Run()