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 /include | |
| parent | 46ea4a471f105ac24537706f021459de5b740319 (diff) | |
| download | klee-270ced85122f8f70e1847488bd333bd808721473.tar.gz | |
remove unused rng adaptor functions
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/ADT/RNG.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/include/klee/ADT/RNG.h b/include/klee/ADT/RNG.h index fc08e3b8..1e7a1682 100644 --- a/include/klee/ADT/RNG.h +++ b/include/klee/ADT/RNG.h @@ -19,17 +19,10 @@ namespace klee { /* generates a random number on [0,0xffffffff]-interval */ unsigned int getInt32(); - /* generates a random number on [0,0x7fffffff]-interval */ - int getInt31(); - /* generates a random number on [0,1]-real-interval */ - double getDoubleLR(); - float getFloatLR(); /* generates a random number on [0,1)-real-interval */ double getDoubleL(); - float getFloatL(); /* generates a random number on (0,1)-real-interval */ double getDouble(); - float getFloat(); /* generators a random flop */ bool getBool(); }; |