diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2023-03-23 21:45:00 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-04-20 19:50:07 +0100 |
| commit | 270ced85122f8f70e1847488bd333bd808721473 (patch) | |
| tree | e6bdeb25fab46937730e89c4e4352a9b24220d23 /unittests/RNG | |
| parent | 46ea4a471f105ac24537706f021459de5b740319 (diff) | |
| download | klee-270ced85122f8f70e1847488bd333bd808721473.tar.gz | |
remove unused rng adaptor functions
Diffstat (limited to 'unittests/RNG')
| -rw-r--r-- | unittests/RNG/RNGTest.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/unittests/RNG/RNGTest.cpp b/unittests/RNG/RNGTest.cpp index 218a15a7..4dee36d1 100644 --- a/unittests/RNG/RNGTest.cpp +++ b/unittests/RNG/RNGTest.cpp @@ -10,14 +10,9 @@ TEST(RNG, InitialSeedEquality) { RNG seed(5489U); ASSERT_EQ(noseed.getBool(), seed.getBool()); - ASSERT_EQ(noseed.getInt31(), seed.getInt31()); ASSERT_EQ(noseed.getInt32(), seed.getInt32()); ASSERT_EQ(noseed.getDouble(), seed.getDouble()); ASSERT_EQ(noseed.getDoubleL(), seed.getDoubleL()); - ASSERT_EQ(noseed.getDoubleLR(), seed.getDoubleLR()); - ASSERT_EQ(noseed.getFloat(), seed.getFloat()); - ASSERT_EQ(noseed.getFloatL(), seed.getFloatL()); - ASSERT_EQ(noseed.getFloatLR(), seed.getFloatLR()); } |