Exception: Ibex::Equiv::Difference

Inherits:

Ibex::Error

• Object
• StandardError
• Ibex::Error
• Ibex::Equiv::Difference

Defined in:

lib/ibex/equiv.rb

Overview

: Integer

Instance Attribute Summary

• #details ⇒ Object readonly

  : Hash[Symbol, Object?].

Instance Method Summary

• #initialize(details) ⇒ Difference constructor

  A new instance of Difference.

Constructor Details

#initialize(details) ⇒ Difference

Returns a new instance of Difference.

# File 'lib/ibex/equiv.rb', line 26

def initialize(details)
  @details = IR.deep_freeze(details)
  label = details[:witness] ? " for #{details.fetch(:witness).inspect}" : ""
  super("(equiv):1:1: comparison found a difference#{label}")
end

Instance Attribute Details

#details ⇒ Object (readonly)

: Hash[Symbol, Object?]

# File 'lib/ibex/equiv.rb', line 23

def details
  @details
end