propr 0.2.0

data/spec/examples/scale.example

@@ -0,0 +1,17 @@
+require "spec_helper"
+
+describe Propr::Random, "#scale" do
+
+  property("values"){|x| true }
+  # .check { Integer.random(center: 0, min: 0, max: 1e1) }
+  # .check { Integer.random(center: 0, min: 0, max: 1e1) }
+  # .check { Integer.random(center: 0, min: 0, max: 1e2) }
+  # .check { Integer.random(center: 0, min: 0, max: 1e3) }
+  # .check { Integer.random(center: 0, min: 0, max: 1e5) }
+  # .check { Integer.random(center: 0, min: 0, max: 1e8) }
+  # .check { Integer.random(center: 0, min: 0, max: 1e13) }
+  # .check { Integer.random(center: 0, min: 0, max: 1e21) }
+  # .check { Integer.random(center: 0, min: 0, max: 1e34) }
+  # .check { Integer.random(center: 0, min: 0, max: 1e55) }
+
+end

data/spec/examples/shrink/array.example

@@ -0,0 +1,20 @@
+require "spec_helper"
+
+describe Array, "#shrink" do
+
+  property("self"){|x| not x.shrink.member?(x) }
+    .check{ Array.random { String.random }}
+    .check{ Array.random { Integer.random }}
+
+  property("smaller"){|x| x.shrink.all?{|y| y.size <= x.size }}
+    .check{ Array.random { String.random }}
+    .check{ Array.random { Integer.random }}
+
+  property("smallest"){|x| x.shrink.empty? }
+    .check{ unit [] }
+
+  property("contains smallest"){|x| guard !x.empty?; x.shrink.member?([]) }
+    .check{ Array.random(max: 50) { unit(nil) }}
+    .check{ Array.random(max: 50) { unit(nil) }}
+
+end

data/spec/examples/shrink/bigdecimal.example

@@ -0,0 +1,20 @@
+require "spec_helper"
+
+describe BigDecimal, "#shrink" do
+
+  property("self"){|n| not n.shrink.member?(n) }
+    .check{ BigDecimal.random }
+
+  property("smaller"){|n| n.shrink.all?{|m| m > n }}
+    .check{ BigDecimal.random(max: -1) }
+
+  property("smaller"){|n| n.shrink.all?{|m| m < n }}
+    .check{ BigDecimal.random(min: 1) }
+
+  property("smallest"){|n| n.shrink.empty? }
+    .check(BigDecimal(0))
+
+  property("contains smallest"){|n| guard n != 0, n != -1; n.shrink.member?(0) }
+    .check{ BigDecimal.random }
+
+end

data/spec/examples/shrink/float.example

@@ -0,0 +1,20 @@
+require "spec_helper"
+
+describe Float, "#shrink" do
+
+  property("self"){|n| not n.shrink.member?(n) }
+    .check{ Float.random }
+
+  property("smaller"){|n| guard n < 0; n.shrink.all?{|m| m > n }}
+    .check{ Float.random(max: -1) }
+
+  property("smaller"){|n| guard n > 0; n.shrink.all?{|m| m < n }}
+    .check{ Float.random(min: 1) }
+
+  property("smallest"){|n| n.shrink.empty? }
+    .check(0.0)
+
+  property("contains smallest"){|n| guard n != 0, n != -1; n.shrink.member?(0) }
+    .check{ Float.random }
+
+end

data/spec/examples/shrink/hash.example

@@ -0,0 +1,20 @@
+require "spec_helper"
+
+describe Hash, "#shrink" do
+
+  property("self"){|x| not x.shrink.member?(x) }
+    .check{ Hash.random { sequence [Symbol.random, Integer.random] }}
+    .check{ Hash.random { sequence [Integer.random, String.random] }}
+
+  property("smaller"){|x| x.shrink.all?{|y| y.size <= x.size }}
+    .check{ Hash.random { String.random }}
+    .check{ Hash.random { Integer.random }}
+
+  property("smallest"){|x| x.shrink.empty? }
+    .check{ unit({}) }
+
+  property("contains smallest"){|x| guard !x.empty?; x.shrink.member?({}) }
+    .check{ Hash.random(max: 50) { sequence [String.random, unit(nil)] }}
+    .check{ Hash.random(max: 50) { sequence [Integer.random, unit(nil)] }}
+
+end

data/spec/examples/shrink/integer.example

@@ -0,0 +1,21 @@
+require "spec_helper"
+
+describe Integer, "#shrink" do
+
+  property("self"){|n| not n.shrink.member?(n) }
+    .check{ Integer.random }
+
+  property("smaller"){|n| guard n < 0; n.shrink.all?{|m| m > n }}
+    .check{ Integer.random(max: -1) }
+
+  property("smaller"){|n| guard n > 0; n.shrink.all?{|m| m < n }}
+    .check{ Integer.random(min: 1) }
+
+  property("smallest"){|n| n.shrink.empty? }
+    .check(0)
+    .check(-1)
+
+  property("contains smallest"){|n| guard n != 0, n != -1; n.shrink.member?(0) }
+    .check{ Integer.random }
+
+end

data/spec/examples/shrink/maybe.example

@@ -0,0 +1,24 @@
+require "spec_helper"
+
+describe Fr::Maybe, "#shrink" do
+
+  property("emtpty") { Fr.none.shrink.empty? }
+    .check
+
+  property("has some") do |o|
+    os = true.maybe(o).shrink
+    so = true.maybe(o.shrink)
+    os - [Fr.none] == [so]
+  end
+  .check { Integer.random }
+  .check { String.random }
+
+  property("has none") do |o|
+    os = true.maybe(o).shrink
+    so = true.maybe(o.shrink)
+    os - [so] == [Fr.none]
+  end
+  .check { Integer.random }
+  .check { String.random }
+
+end

data/spec/examples/shrink/set.example

@@ -0,0 +1,21 @@
+require "spec_helper"
+require "set"
+
+describe Set, "#shrink" do
+
+  property("self"){|x| not x.shrink.member?(x) }
+    .check{ Set.random { Integer.random }}
+
+  property("smaller"){|x| x.shrink.all?{|y| y.size <= x.size }}
+    .check{ Set.random { String.random }}
+    .check{ Set.random { Integer.random }}
+
+  property("smallest"){|x| x.shrink.empty? }
+    .check{ unit Set.new }
+
+  property("contains smallest"){|x| guard !x.empty?; x.shrink.member?(Set.new) }
+    .check{ Set.random(max: 50) { String.random }}
+    .check{ Set.random(max: 50) { Integer.random }}
+
+
+end

data/spec/examples/shrink/string.example

@@ -0,0 +1,17 @@
+require "spec_helper"
+
+describe String, "#shrink" do
+
+  property("self"){|s| not s.shrink.member?(s) }
+    .check{ String.random }
+
+  property("smaller"){|x| x.shrink.all?{|y| y.size <= x.size }}
+    .check{ String.random }
+
+  property("smallest"){|x| x.shrink.empty? }
+    .check{ unit "" }
+
+  property("contains smallest"){|x| guard !x.empty?; x.shrink.member?("") }
+    .check{ String.random(max: 50) }
+
+end

data/spec/issues/003.example

@@ -0,0 +1,9 @@
+require "spec_helper"
+
+describe Propr, "issue #3" do
+  property("exceptional"){|x,y| if x < 10 then true else raise "No!" end }
+    .check{ sequence [Integer.random, String.random] }
+
+  property("exceptional"){|x| if x < 10 then true else raise "No!" end }
+    .check{ Integer.random }
+end

data/spec/spec_helper.rb

@@ -0,0 +1,24 @@
+require "rspec"
+require "propr"
+
+# Require supporting files with custom matchers and macros
+Pathname.new(File.dirname(__FILE__)).tap do |specdir|
+  Dir["#{specdir}/support/**/*.rb"].each do |file|
+    require Pathname.new(file).relative_path_from(specdir)
+  end
+end
+
+RSpec.configure do |config|
+  include Propr::RSpec
+
+  #srand 146211424375622429406889408197139382303
+  srand.tap{|seed| puts "Run with srand #{seed}"; srand seed }
+
+  # rspec -I lib -t random spec
+  # config.filter_run :random => true
+
+  # rspec -I lib -t ~random spec
+  # config.filter_run_excluding :random => true
+  # config.filter_run(:focus  => true)
+
+end

metadata

@@ -0,0 +1,143 @@
+--- !ruby/object:Gem::Specification
+name: propr
+version: !ruby/object:Gem::Version
+  version: 0.2.0
+  prerelease: 
+platform: ruby
+authors:
+- Kyle Putnam
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2012-06-18 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: fr
+  requirement: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: 0.9.1
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: 0.9.1
+description: 
+email: putnam.kyle@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- NOTES.md
+- README.md
+- TODO.md
+- Rakefile
+- lib/propr/dsl/check.rb
+- lib/propr/dsl/property.rb
+- lib/propr/dsl.rb
+- lib/propr/property.rb
+- lib/propr/random/array.rb
+- lib/propr/random/bigdecimal.rb
+- lib/propr/random/boolean.rb
+- lib/propr/random/complex.rb
+- lib/propr/random/date.rb
+- lib/propr/random/float.rb
+- lib/propr/random/hash.rb
+- lib/propr/random/integer.rb
+- lib/propr/random/maybe.rb
+- lib/propr/random/nil.rb
+- lib/propr/random/range.rb
+- lib/propr/random/rational.rb
+- lib/propr/random/set.rb
+- lib/propr/random/string.rb
+- lib/propr/random/symbol.rb
+- lib/propr/random/time.rb
+- lib/propr/random.rb
+- lib/propr/rspec.rb
+- lib/propr/runner.rb
+- lib/propr/shrink/array.rb
+- lib/propr/shrink/bigdecimal.rb
+- lib/propr/shrink/boolean.rb
+- lib/propr/shrink/complex.rb
+- lib/propr/shrink/date.rb
+- lib/propr/shrink/float.rb
+- lib/propr/shrink/hash.rb
+- lib/propr/shrink/integer.rb
+- lib/propr/shrink/maybe.rb
+- lib/propr/shrink/nil.rb
+- lib/propr/shrink/object.rb
+- lib/propr/shrink/range.rb
+- lib/propr/shrink/rational.rb
+- lib/propr/shrink/set.rb
+- lib/propr/shrink/string.rb
+- lib/propr/shrink/symbol.rb
+- lib/propr/shrink/time.rb
+- lib/propr.rb
+- spec/examples/choose/array.example
+- spec/examples/choose/hash.example
+- spec/examples/choose/range.example
+- spec/examples/choose/set.example
+- spec/examples/guard.example
+- spec/examples/random/array.example
+- spec/examples/random/hash.example
+- spec/examples/random/integer.example
+- spec/examples/random/range.example
+- spec/examples/scale.example
+- spec/examples/shrink/array.example
+- spec/examples/shrink/bigdecimal.example
+- spec/examples/shrink/float.example
+- spec/examples/shrink/hash.example
+- spec/examples/shrink/integer.example
+- spec/examples/shrink/maybe.example
+- spec/examples/shrink/set.example
+- spec/examples/shrink/string.example
+- spec/issues/003.example
+- spec/spec_helper.rb
+homepage: https://github.com/kputnam/propr
+licenses: []
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 1.8.24
+signing_key: 
+specification_version: 3
+summary: Property-based testing for Ruby (ala QuickCheck)
+test_files:
+- spec/examples/choose/array.example
+- spec/examples/choose/hash.example
+- spec/examples/choose/range.example
+- spec/examples/choose/set.example
+- spec/examples/guard.example
+- spec/examples/random/array.example
+- spec/examples/random/hash.example
+- spec/examples/random/integer.example
+- spec/examples/random/range.example
+- spec/examples/scale.example
+- spec/examples/shrink/array.example
+- spec/examples/shrink/bigdecimal.example
+- spec/examples/shrink/float.example
+- spec/examples/shrink/hash.example
+- spec/examples/shrink/integer.example
+- spec/examples/shrink/maybe.example
+- spec/examples/shrink/set.example
+- spec/examples/shrink/string.example