Searched refs:strict_ (Results 1 - 2 of 2) sorted by relevance

/external/stressapptest/src/
H A Dsat.h87 int strict() const { return strict_; }
167 int strict_; // Check results per transaction. member in class:Sat
H A Dsat.cc680 strict_ = 1;
889 ARG_KVALUE("-F", strict_, 0);

Completed in 83 milliseconds