Searched refs:flush_num (Results 1 – 1 of 1) sorted by relevance
137 static int flush_num = 0; in FlushAndWait() local138 std::string checkpoint_name = "flush." + std::to_string(flush_num++); in FlushAndWait()