creates a strategy with a fixed seed concode_field_sep int shrinkCycles concode_elem_sep int examples concode_elem_sep Reporter reporter concode_elem_sep PseudoRandom prng concode_field_sep int shrinkCycles concode_elem_sep Strategy withExamples concode_elem_sep int examples concode_elem_sep Reporter reporter concode_elem_sep Strategy withShrinkCycles concode_elem_sep PseudoRandom defaultPRNG concode_elem_sep PseudoRandom prng
Strategy function ( long arg0 ) { return new Strategy ( defaultPRNG ( arg0 ) , examples , shrinkCycles , reporter ) ; }