Class: Forall::No

Inherits:

Struct

• Object
• Struct
• Forall::No

Defined in:

lib/forall.rb

Overview

The property was not true of at least one tested input

Instance Attribute Summary

• #counter ⇒ Object

  Returns the value of attribute counter.

• #counterexample ⇒ Object

  Returns the value of attribute counterexample.

• #seed ⇒ Object

  Returns the value of attribute seed.

Instance Attribute Details

#counter ⇒ Object

Returns the value of attribute counter

Returns:

• (Object) —

  the current value of counter

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

def counter
  @counter
end

#counterexample ⇒ Object

Returns the value of attribute counterexample

Returns:

• (Object) —

  the current value of counterexample

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

def counterexample
  @counterexample
end

#seed ⇒ Object

Returns the value of attribute seed

Returns:

• (Object) —

  the current value of seed

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

def seed
  @seed
end