Class: Forall::Fail

Inherits:

Struct

• Object
• Struct
• Forall::Fail

Defined in:

lib/forall.rb

Overview

An error occurred while checking the property

Instance Attribute Summary

• #counter ⇒ Object

  Returns the value of attribute counter.

• #counterexample ⇒ Object

  Returns the value of attribute counterexample.

• #error ⇒ Object

  Returns the value of attribute error.

• #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 19

def counter
  @counter
end

#counterexample ⇒ Object

Returns the value of attribute counterexample

Returns:

• (Object) —

  the current value of counterexample

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

def counterexample
  @counterexample
end

#error ⇒ Object

Returns the value of attribute error

Returns:

• (Object) —

  the current value of error

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

def error
  @error
end

#seed ⇒ Object

Returns the value of attribute seed

Returns:

• (Object) —

  the current value of seed

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

def seed
  @seed
end