mirror of
https://github.com/facebook/sapling.git
synced 2024-10-05 06:18:07 +03:00
a29d465ee8
Summary: With Facebook having been renamed Meta Platforms, we need to change the license headers. Reviewed By: fanzeyi Differential Revision: D33407812 fbshipit-source-id: b11bfbbf13a48873f0cea75f212cc7b07a68fb2e
35 lines
793 B
C++
35 lines
793 B
C++
/*
|
|
* Copyright (c) Meta Platforms, Inc. and affiliates.
|
|
*
|
|
* This software may be used and distributed according to the terms of the
|
|
* GNU General Public License version 2.
|
|
*/
|
|
|
|
#include "eden/fs/utils/IDGen.h"
|
|
#include <folly/portability/GTest.h>
|
|
|
|
using namespace facebook::eden;
|
|
|
|
TEST(IDGenTest, initialIDIsNonZero) {
|
|
EXPECT_NE(0, generateUniqueID());
|
|
}
|
|
|
|
TEST(IDGenTest, producesUniqueIDs) {
|
|
auto id1 = generateUniqueID();
|
|
auto id2 = generateUniqueID();
|
|
auto id3 = generateUniqueID();
|
|
EXPECT_NE(0, id1);
|
|
EXPECT_NE(id1, id2);
|
|
EXPECT_NE(id2, id3);
|
|
EXPECT_NE(id2, id3);
|
|
}
|
|
|
|
TEST(IDGenTest, monotonic) {
|
|
auto previous = generateUniqueID();
|
|
for (int i = 0; i < 100000; ++i) {
|
|
auto next = generateUniqueID();
|
|
EXPECT_EQ(previous + 1, next);
|
|
previous = next;
|
|
}
|
|
}
|