Searched refs:key_sum (Results 1 – 1 of 1) sorted by relevance
244 int key_sum = 0; in CheckTable() local247 key_sum += -i->first.value_of(); in CheckTable()250 CHECK(key_sum==n*(n+1)/2); in CheckTable()