diff options
| author | Björn Gustavsson <[email protected]> | 2015-12-04 14:34:20 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2015-12-07 11:40:24 +0100 |
| commit | 807f0c8904be14c9088ebc41ade885ffac142b34 (patch) | |
| tree | 3a5a7383c05247d3d6d92e9b6012b394a93a88a7 /lib/stdlib/test/rand_SUITE.erl | |
| parent | f86828fead59ba0a28658d3f5e7d8dc80f1c73fb (diff) | |
| download | otp-807f0c8904be14c9088ebc41ade885ffac142b34.tar.gz otp-807f0c8904be14c9088ebc41ade885ffac142b34.tar.bz2 otp-807f0c8904be14c9088ebc41ade885ffac142b34.zip | |
Correct rand:export_seed/0 when there is no prior seed
According to the documentation, rand:export_seed/0 should return
'undefined' if the seed has not been intialized. However, it will
create and return a seed. That means that the following code
will not work as expected:
case rand:export_seed() of
undefined -> rand:seen({1,2,3});
_ -> ok
end,
rand:uniform(Range)
Diffstat (limited to 'lib/stdlib/test/rand_SUITE.erl')
| -rw-r--r-- | lib/stdlib/test/rand_SUITE.erl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/stdlib/test/rand_SUITE.erl b/lib/stdlib/test/rand_SUITE.erl index 111bf620de..03b5ce1a25 100644 --- a/lib/stdlib/test/rand_SUITE.erl +++ b/lib/stdlib/test/rand_SUITE.erl @@ -126,6 +126,9 @@ seed_1(Alg) -> false = (S1 =:= rand:seed_s(Alg)), %% Negative integers works _ = rand:seed_s(Alg, {-1,-1,-1}), + %% Check that export_seed/1 returns 'undefined' if there is no seed + erase(rand_seed), + undefined = rand:export_seed(), %% Other term do not work {'EXIT', _} = (catch rand:seed_s(foobar, os:timestamp())), |