Class: Forall::Options

Inherits:

Struct

• Object
• Struct
• Forall::Options

Defined in:

lib/forall.rb

Overview

TODO: Is there a way to provide a default implementation of ‘shrink`? Will it interefere with a user-given implementation?

Instance Attribute Summary

• #max_ok ⇒ Object

  Returns the value of attribute max_ok.

• #max_shrink ⇒ Object

  Returns the value of attribute max_shrink.

• #max_skip ⇒ Object

  Returns the value of attribute max_skip.

Instance Attribute Details

#max_ok ⇒ Object

Returns the value of attribute max_ok

Returns:

• (Object) —

  the current value of max_ok

# File 'lib/forall.rb', line 24

def max_ok
  @max_ok
end

#max_shrink ⇒ Object

Returns the value of attribute max_shrink

Returns:

• (Object) —

  the current value of max_shrink

# File 'lib/forall.rb', line 24

def max_shrink
  @max_shrink
end

#max_skip ⇒ Object

Returns the value of attribute max_skip

Returns:

• (Object) —

  the current value of max_skip

# File 'lib/forall.rb', line 24

def max_skip
  @max_skip
end