+
Point of view
All features
class MINIMAL_RANDOM_NUMBER_GENERATOR
is 2147483647
constant attribute
{}
is 16807
constant attribute
{}
is 127773
constant attribute
{}
is 2836
constant attribute
{}
require
-
valid_seed: seed_value > 0 and seed_value < im
ensure
- Result > 0 and Result <= 1
require
ensure
- 1 <= Result and Result <= n