Module: Pbt::Check::Tosser

Included in:
RunnerMethods
Defined in:
lib/pbt/check/tosser.rb

Overview

Module to be included in classes that need to generate values to test.

Instance Method Summary collapse

Instance Method Details

#toss(arb, seed) ⇒ Enumerator

Generate values.

Parameters:

  • arb (Arbitrary) —

    Arbitrary to generate a value.

  • seed (Integer) —

    Random number generator’s seed.

Returns:

  • (Enumerator)
[View source]

12
13
14
15
16
17
18
19
 
# File 'lib/pbt/check/tosser.rb', line 12

def toss(arb, seed)
  Enumerator.new do |enum|
    rng = Random.new(seed)
    loop do
      enum.yield toss_next(arb, rng)
    end
  end
end