Searched refs:NumKeys (Results 1 – 3 of 3) sorted by relevance
69 const unsigned NumKeys = 100; in TEST_F() local74 std::atomic<int> ComputeResult[NumKeys]; in TEST_F()81 for (unsigned K = 0; K < NumKeys; K++) { in TEST_F()89 EXPECT_GE(ComputeCount, NumKeys) << "Computed each key once"; in TEST_F()90 EXPECT_LE(ComputeCount, NumThreads * NumKeys) in TEST_F()
962 unsigned NumKeys = Z3_stats_size(C, S); in getStatistics() 963 for (unsigned Idx = 0; Idx < NumKeys; ++Idx) { in getStatistics() 961 unsigned NumKeys = Z3_stats_size(C, S); getStatistics() local