lib/prop_check.rb
require "prop_check/version"
require 'prop_check/property'
require 'prop_check/generator'
require 'prop_check/generators'
require 'prop_check/helper'
##
# Main module of the PropCheck library.
#
# You probably want to look at the documentation of
# PropCheck::Generator and PropCheck::Generators
# to find out more about how to use generators.
#
# Common usage is to call `extend PropCheck` in your (testing) modules.
#
# This will:
# 1. Add the local method `forall` which will call `PropCheck.forall`
# 2. `include PropCheck::Generators`.
#
module PropCheck
module Errors
class Error < StandardError; end
class UserError < Error; end
class GeneratorExhaustedError < UserError; end
class MaxShrinkStepsExceededError < UserError; end
end
extend self
##
# Runs a property.
#
# See the README for more details.
def forall(*args, **kwargs, &block)
PropCheck::Property.forall(*args, **kwargs, &block)
end
end