class RubyCheck::PropertyFailure

Defines an error class to capture test case input when reporting errors observed by for_all.

Attributes

test_case[RW]

Input values that caused a test property to fail

Public Class Methods

new(test_case) click to toggle source

Construct a PropertyFailure error, collecting test_case input data.

Example:

RubyCheck::PropertyFailure.new([9])
=> #<RubyCheck::PropertyFailure: RubyCheck::PropertyFailure>
# File lib/rubycheck.rb, line 161
def initialize(test_case)
  @test_case = test_case
end