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