prop_check 0.9.0

data/lib/prop_check/property/configuration.rb

@@ -0,0 +1,14 @@
+module PropCheck
+  class Property
+    Configuration = Struct.new(:verbose, :n_runs, :max_generate_attempts, :max_shrink_steps, keyword_init: true) do
+
+      def initialize(verbose: false, n_runs: 1_000, max_generate_attempts: 10_000, max_shrink_steps: 10_000)
+        super
+      end
+
+      def merge(other)
+        Configuration.new(**self.to_h.merge(other.to_h))
+      end
+    end
+  end
+end

data/lib/prop_check/version.rb

@@ -0,0 +1,3 @@
+module PropCheck
+  VERSION = "0.9.0"
+end

data/prop_check.gemspec

@@ -0,0 +1,42 @@
+
+lib = File.expand_path("../lib", __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require "prop_check/version"
+
+Gem::Specification.new do |spec|
+  spec.name          = "prop_check"
+  spec.version       = PropCheck::VERSION
+  spec.authors       = ["Qqwy/Wiebe-Marten Wijnja"]
+  spec.email         = ["w-m@wmcode.nl"]
+
+  spec.summary       = %q{PropCheck allows you to do property-based testing, including shrinking.}
+  spec.description   = %q{PropCheck allows you to do property-based testing, including shrinking. (akin to Haskell's QuickCheck, Erlang's PropEr, Elixir's StreamData). This means that your test are run many times with different, autogenerated inputs, and as soon as a failing case is found, this input is simplified, in the end giving you back the simplest input that made the test fail.}
+  spec.homepage      = "https://github.com/Qqwy/ruby-prop_check/"
+  spec.license       = "MIT"
+
+  # Prevent pushing this gem to RubyGems.org. To allow pushes either set the 'allowed_push_host'
+  # to allow pushing to a single host or delete this section to allow pushing to any host.
+  if spec.respond_to?(:metadata)
+    spec.metadata["homepage_uri"] = spec.homepage
+    spec.metadata["source_code_uri"] = "https://github.com/Qqwy/ruby-prop_check/"
+    spec.metadata["changelog_uri"] = "https://github.com/Qqwy/ruby-prop_check/CHANGELOG.md"
+  else
+    raise "RubyGems 2.0 or newer is required to protect against " \
+      "public gem pushes."
+  end
+
+  # Specify which files should be added to the gem when it is released.
+  # The `git ls-files -z` loads the files in the RubyGem that have been added into git.
+  spec.files         = Dir.chdir(File.expand_path('..', __FILE__)) do
+    `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features)/}) }
+  end
+  spec.bindir        = "exe"
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ["lib"]
+
+  spec.required_ruby_version = '>= 2.5.1'
+
+  spec.add_development_dependency "bundler", "~> 2.0"
+  spec.add_development_dependency "rake", "~> 12.3"
+  spec.add_development_dependency "rspec", "~> 3.0"
+end

metadata

@@ -0,0 +1,116 @@
+--- !ruby/object:Gem::Specification
+name: prop_check
+version: !ruby/object:Gem::Version
+  version: 0.9.0
+platform: ruby
+authors:
+- Qqwy/Wiebe-Marten Wijnja
+autorequire:
+bindir: exe
+cert_chain: []
+date: 2020-07-21 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.0'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '12.3'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '12.3'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+description: PropCheck allows you to do property-based testing, including shrinking.
+  (akin to Haskell's QuickCheck, Erlang's PropEr, Elixir's StreamData). This means
+  that your test are run many times with different, autogenerated inputs, and as soon
+  as a failing case is found, this input is simplified, in the end giving you back
+  the simplest input that made the test fail.
+email:
+- w-m@wmcode.nl
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".rspec"
+- ".rubocop.yml"
+- ".tool-versions"
+- ".travis.yml"
+- CHANGELOG.md
+- CODE_OF_CONDUCT.md
+- Gemfile
+- Gemfile.lock
+- LICENSE.txt
+- README.md
+- Rakefile
+- bin/console
+- bin/setup
+- lib/prop_check.rb
+- lib/prop_check/generator.rb
+- lib/prop_check/generators.rb
+- lib/prop_check/helper.rb
+- lib/prop_check/helper/lazy_append.rb
+- lib/prop_check/lazy_tree.rb
+- lib/prop_check/property.rb
+- lib/prop_check/property/configuration.rb
+- lib/prop_check/version.rb
+- prop_check.gemspec
+homepage: https://github.com/Qqwy/ruby-prop_check/
+licenses:
+- MIT
+metadata:
+  homepage_uri: https://github.com/Qqwy/ruby-prop_check/
+  source_code_uri: https://github.com/Qqwy/ruby-prop_check/
+  changelog_uri: https://github.com/Qqwy/ruby-prop_check/CHANGELOG.md
+post_install_message:
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 2.5.1
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.0.3
+signing_key:
+specification_version: 4
+summary: PropCheck allows you to do property-based testing, including shrinking.
+test_files: []