Index: src/base/utils/random-number-generator.h |
diff --git a/src/base/utils/random-number-generator.h b/src/base/utils/random-number-generator.h |
index a9107a6d061382b4c154da7e09d9cd9619919f65..479423d65864bdde345e77cdcc5d4b2393f4aa0c 100644 |
--- a/src/base/utils/random-number-generator.h |
+++ b/src/base/utils/random-number-generator.h |
@@ -74,6 +74,8 @@ class RandomNumberGenerator FINAL { |
// Override the current ssed. |
void SetSeed(int64_t seed); |
+ int64_t initial_seed() const { return initial_seed_; } |
+ |
private: |
static const int64_t kMultiplier = V8_2PART_UINT64_C(0x5, deece66d); |
static const int64_t kAddend = 0xb; |
@@ -81,6 +83,7 @@ class RandomNumberGenerator FINAL { |
int Next(int bits) WARN_UNUSED_RESULT; |
+ int64_t initial_seed_; |
int64_t seed_; |
}; |