Searched refs:count_checked (Results 1 – 1 of 1) sorted by relevance
67 unsigned int count_checked = 0; in check_equivalent_keys() local69 ++count_checked; in check_equivalent_keys()74 std::cerr << "Checked: " << count_checked << " elements" << std::endl; in check_equivalent_keys()