Searched refs:random_cb_called (Results 1 – 1 of 1) sorted by relevance
28 static int random_cb_called; variable39 if (random_cb_called == 0) { in random_cb()48 random_cb_called++; in random_cb()62 ASSERT(0 == random_cb_called); in TEST_IMPL()65 ASSERT(1 == random_cb_called); in TEST_IMPL()68 ASSERT(1 == random_cb_called); in TEST_IMPL()71 ASSERT(2 == random_cb_called); in TEST_IMPL()