Class: MimiCheck::Result::Falsified

Inherits:
Object
  • Object
show all
Defined in:
lib/mimicheck/result.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(property, counter_examples) ⇒ Falsified

Returns a new instance of Falsified.



16
17
18
19
 
# File 'lib/mimicheck/result.rb', line 16

def initialize(property, counter_examples)
  @property = property
  @counter_examples = counter_examples
end

Instance Attribute Details

#counter_examples ⇒ Object (readonly)

Returns the value of attribute counter_examples.



20
21
22
 
# File 'lib/mimicheck/result.rb', line 20

def counter_examples
  @counter_examples
end

#property ⇒ Object (readonly)

Returns the value of attribute property.



20
21
22
 
# File 'lib/mimicheck/result.rb', line 20

def property
  @property
end

Instance Method Details

#==(other) ⇒ Object 



22
23
24
25
26
 
# File 'lib/mimicheck/result.rb', line 22

def ==(other)
  return false unless other.is_a?(self.class)
  property == other.property &&
    counter_examples == other.counter_examples
end