Lines Matching defs:num_checks
75 The DMI and debug checks are unaffected by the num_checks count (because they are cheap)
140 static sc_dt::uint64 num_checks = default_num_checks;
185 // Access methods for num_checks count
188 if (num_checks == 0)
190 num_checks = n;
193 static sc_dt::uint64 get_num_checks() { return num_checks; }
203 if (num_checks)
209 if (num_checks)
218 if (num_checks)
224 if (num_checks)
232 if (num_checks)
237 if (num_checks)
637 if (num_checks > 0)
639 --num_checks;
640 if (num_checks == 0)