rantly 0.3.1 → 0.3.2

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 8db5bd7182d7f9e17c430588587617eaa712dd6d
+  data.tar.gz: 5812264178d1640909ba3ea004b777ecea8e78e6
+SHA512:
+  metadata.gz: 36ffb950c9e4f23e5a7e02183bf7a4e7de2c35eac5431ffb4adb96266289097133c44ee7de1dd56db18a6553f45e36b580de1f4c91b9f1ad413adfae6b9a3744
+  data.tar.gz: b04342e87f28f5ef185ee6798bb8e7a119444c27d4b1fb0146cccd3e43ca13654fba3925ecc7914501b3336ead47055fa147d74f83874fb26b236a2522474f14

data/.travis.yml

@@ -0,0 +1,8 @@
+language: ruby
+rvm:
+    - 1.9.3
+    - 2.0.0
+    - 2.1.6
+    - 2.2.2
+    - rbx-2
+    - jruby

data/Gemfile

@@ -1,5 +1,8 @@
-source :rubygems
+source 'https://rubygems.org'
+
 group :development, :test do
+  gem 'minitest', "~> 5.7.0"
   gem 'jeweler'
-  gem 'shoulda'
+  gem 'simplecov'
+  gem 'coveralls', :require => false
 end

data/README.textile

@@ -1,3 +1,21 @@
+!https://travis-ci.org/hayeah/rantly.png?branch=master!:https://travis-ci.org/hayeah/rantly
+
+h1. Repository move (Beginning 2015-07-07)
+
+The official _rantly_ repository has moved from "hayeah/rantly":https://github.com/hayeah/rantly to "abargnesi/rantly":https://github.com/abargnesi/rantly. The creator of _rantly_ is "Howard Yeh":https://github.com/hayeah. "Anthony Bargnesi":https://github.com/abargnesi is the current maintainer.
+
+New development will occur in "abargnesi/rantly":https://github.com/abargnesi/rantly.
+
+The transition plan is as follows:
+
+* [x] Investigate and move open issues from "hayeah/rantly":https://github.com/hayeah/rantly to "abargnesi/rantly":https://github.com/abargnesi/rantly.
+* [x] Evaluate and likely merge pull requests into hayeah/rantly. Push these changes to "abargnesi/rantly":https://github.com/abargnesi/rantly.
+* [x] Move over any closed issues that have relevant discourse.
+* [ ] Fix open issues.
+* [x] Push new gem version after testing functionality.
+* [ ] Continue new development; Changes will be pushed back upstream to "hayeah/rantly":https://github.com/hayeah/rantly over the course of the next month.
+* [x] Added CHANGELOG markdown file. Includes what was added between 0.3.1 (2011-12-15) and 0.3.2 (2015-09-16).
+
 h1. Imperative Random Data Generator and Quickcheck
 
 You can use Rant to generate random test data, and use its Test::Unit extension for property-based testing.
@@ -19,7 +37,7 @@ $ irb -rrantly
 > Rantly { [integer,float]}
 => [-376856492, 0.452245765751706]
 > Rantly(5) { integer } # same as Rantly.map(5) { integer }
-=> [-1843396915550491870, -1683855015308353854, -2291347782549033959, -951461511269053584, 483265231542292652] 
+=> [-1843396915550491870, -1683855015308353854, -2291347782549033959, -951461511269053584, 483265231542292652]
 </code></pre>
 
 h1. Data Generation
@@ -91,7 +109,7 @@ Rantly#range(lo,hi)
   random integer between lo and hi.
 Rantly#float
   random float
-Rantly#bool
+Rantly#boolean
   true or false
 Rantly#literal(value)
   No-op. returns value.
@@ -252,41 +270,96 @@ Rantly::TooManyTries: Exceed gen limit 60: 60 failed guards)
 
 h1. Property Testing
 
-Rantly extends Test::Unit for property testing. The extension is in its own module. So you need to require it.
+Rantly extends Test::Unit and MiniTest::Test (5.0)/MiniTest::Unit::TestCase (< 5.0) for property testing. The extensions are in their own modules. So you need to require them explicitly:
 
 <pre><code>
-require 'rant/check'
+require 'rantly/testunit_extensions' # for 'test/unit'
+require 'rantly/minitest_extensions' # for 'minitest'
+require 'rantly/rspec_extensions'    # for RSpec
 </code></pre>
 
-It defines,
+They define:
 
 <pre><code>
 Test::Unit::Assertions#property_of(&block)
   The block is used to generate random data with a generator. The method returns a Rantly::Property instance, that has the method 'check'.
 </code></pre>
 
-It's like this, using the gem 'shoulda'
+Property assertions within Test::Unit could be done like this,
+
+<pre><code>
+# checks that integer only generates fixnum.
+property_of {
+  integer
+}.check { |i|
+  assert(i.is_a?(Integer), "integer property did not return Integer type")
+}
+</code></pre>
+
+Property assertions within Minitest could be done like this,
+
+<pre><code>
+# checks that integer only generates fixnum.
+property_of {
+  integer
+}.check { |i|
+  assert_kind_of Integer, i, "integer property did not return Integer type"
+}
+</code></pre>
+
+Property assertions within RSpec could be done like this,
 
 <pre><code>
 # checks that integer only generates fixnum.
-should "generate Fixnum only" do
-   property_of  { integer }.check { |i| assert i.is_a?(Integer) }
+it "integer property only returns Integer type" do
+   property_of {
+     integer
+   }.check { |i|
+     expect(i).to be_a(Integer)
+   }
 end
 </code></pre>
 
 The check block takes the generated data as its argument. One idiom I find useful is to include a parameter of the random data for the check argument. For example, if I want to check that Rantly#array generates the right sized array, I could say,
 
 <pre><code>
-should "generate right sized array" do
-  property_of {
-    len = integer
-    [len,array(len){integer}]
-  }.check { |(len,arr)|
-    assert_equal len, arr.length
-  }
-end
+property_of {
+  len = integer
+  [len,array(len){integer}]
+}.check { |(len,arr)|
+  assert_equal len, arr.length
+}
+</code></pre>
+
+If you wish to have quiet output from Rantly, set environmental variable:
+<pre><code>
+RANTLY_VERBOSE=0 # silent
+RANTLY_VERBOSE=1 # verbose and default if env is not set
+</code></pre>
+This will silence the puts, print, and pretty_print statements in property.rb.
+
+h1. Shrinking
+
+Shrinking reduces the value of common types to some terminal lower bound. These functions are added to the Ruby types <code>Integer</code>, <code>String</code>, <code>Array</code>, and <code>Hash</code>.
+
+For example a <code>String</code> is shrinkable until it is empty (e.g. <code>""</code>),
+
+<pre><code>
+"foo".shrink               # => "fo"
+"foo".shrink.shrink        # => "f"
+"foo".shrink.shrink.shrink # => ""
+"".shrinkable?             # => false
+</code></pre>
+
+Shrinking allows <code>Property#check</code> to find the minimum value that still fails the condition.
+
+Enable shrinking with
+
+<pre><code>
+require 'rantly/shrinks'
 </code></pre>
 
+
 That's about it. Enjoy :)
 
 

data/Rakefile

@@ -6,9 +6,9 @@ begin
   Jeweler::Tasks.new do |gem|
     gem.name = "rantly"
     gem.summary = %Q{Ruby Imperative Random Data Generator and Quickcheck}
-    gem.email = "hayeah@gmail.com"
-    gem.homepage = "http://github.com/hayeah/rantly"
-    gem.authors = ["Howard Yeh"]
+    gem.email = ["hayeah@gmail.com", "abargnesi@gmail.com"]
+    gem.homepage = "https://github.com/abargnesi/rantly"
+    gem.authors = ["Howard Yeh", "Anthony Bargnesi"]
 
     # gem is a Gem::Specification... see http://www.rubygems.org/read/chapter/20 for additional settings
   end
@@ -23,23 +23,9 @@ Rake::TestTask.new(:test) do |test|
   test.verbose = true
 end
 
-begin
-  require 'rcov/rcovtask'
-  Rcov::RcovTask.new do |test|
-    test.libs << 'test'
-    test.pattern = 'test/**/*_test.rb'
-    test.verbose = true
-  end
-rescue LoadError
-  task :rcov do
-    abort "RCov is not available. In order to run rcov, you must: sudo gem install spicycode-rcov"
-  end
-end
-
-
 task :default => :test
 
-require 'rake/rdoctask'
+require 'rdoc/task'
 Rake::RDocTask.new do |rdoc|
   require 'yaml'
   if File.exist?('VERSION.yml')
@@ -54,4 +40,3 @@ Rake::RDocTask.new do |rdoc|
   rdoc.rdoc_files.include('README*')
   rdoc.rdoc_files.include('lib/**/*.rb')
 end
-

data/VERSION.yml

@@ -1,5 +1,5 @@
----
+--- 
+:build: 
 :major: 0
 :minor: 3
-:patch: 1
-:build: 
+:patch: 2

data/lib/rantly/generator.rb

@@ -22,7 +22,7 @@ class Rantly
     def value(limit=10,&block)
       gen.value(limit,&block)
     end
-    
+
     def gen
       self.singleton
     end
@@ -32,7 +32,6 @@ class Rantly
   end
 
   class TooManyTries < RuntimeError
-    
     def initialize(limit,nfailed)
       @limit = limit
       @nfailed = nfailed
@@ -84,7 +83,7 @@ class Rantly
       handler.call(val) if handler
     end
   end
-  
+
   attr_accessor :classifiers
 
   def initialize
@@ -111,7 +110,7 @@ class Rantly
   def size
     @size || Rantly.default_size
   end
-  
+
   def sized(n,&block)
     raise "size needs to be greater than zero" if n < 0
     old_size = @size
@@ -222,18 +221,15 @@ class Rantly
   end
 
   module Chars
-    
+
     class << self
-      ASCII = ""
-      (0..127).to_a.each do |i|
-        ASCII << i
-      end
+      ASCII = (0..127).to_a.each_with_object("") { |i, obj| obj << i }
 
       def of(regexp)
         ASCII.scan(regexp).to_a.map! { |char| char[0].ord }
       end
     end
-    
+
     ALNUM = Chars.of /[[:alnum:]]/
     ALPHA = Chars.of /[[:alpha:]]/
     BLANK = Chars.of /[[:blank:]]/
@@ -247,8 +243,8 @@ class Rantly
     UPPER = Chars.of /[[:upper:]]/
     XDIGIT = Chars.of /[[:xdigit:]]/
     ASCII = Chars.of /./
-    
-    
+
+
     CLASSES = {
       :alnum => ALNUM,
       :alpha => ALPHA,
@@ -264,7 +260,7 @@ class Rantly
       :xdigit => XDIGIT,
       :ascii => ASCII,
     }
-    
+
   end
 
   def string(char_class=:print)

data/lib/rantly/minitest.rb

@@ -0,0 +1 @@
+require 'rantly/minitest_extensions'

data/lib/rantly/minitest_extensions.rb

@@ -0,0 +1,14 @@
+require 'minitest'
+require 'rantly/property'
+
+test_class = if defined?(MiniTest::Test)
+               MiniTest::Test
+             else
+               MiniTest::Unit::TestCase
+             end
+
+test_class.class_eval do
+  def property_of(&blk)
+    Rantly::Property.new(blk)
+  end
+end

data/lib/rantly/property.rb

@@ -1,13 +1,28 @@
 require 'rantly'
-require 'test/unit'
 require 'pp'
+require 'stringio'
 
 class Rantly::Property
+  attr_reader :failed_data, :shrunk_failed_data, :io
+
+  VERBOSITY = ENV.fetch('RANTLY_VERBOSE'){ 1 }.to_i
+
+  def io
+    @io ||= if VERBOSITY >= 1
+              STDOUT
+            else
+              StringIO.new
+            end
+  end
+
+  def pretty_print(object)
+    PP.pp(object, io)
+  end
 
   def initialize(property)
     @property = property
   end
-  
+
   def check(n=100,limit=10,&assertion)
     i = 0
     test_data = nil
@@ -15,24 +30,48 @@ class Rantly::Property
       Rantly.singleton.generate(n,limit,@property) do |val|
         test_data = val
         assertion.call(val) if assertion
-        puts "" if i % 100 == 0
-        print "." if i % 10 == 0
+        io.puts "" if i % 100 == 0
+        io.print "." if i % 10 == 0
         i += 1
       end
-      puts
-      puts "success: #{i} tests"
+      io.puts
+      io.puts "success: #{i} tests"
     rescue Rantly::TooManyTries => e
-      puts
-      puts "too many tries: #{e.tries}"
+      io.puts
+      io.puts "too many tries: #{e.tries}"
       raise e
-    rescue => boom
-      puts
-      puts "failure: #{i} tests, on:"
-      pp test_data
+    rescue Exception => boom
+      io.puts
+      io.puts "failure: #{i} tests, on:"
+      pretty_print test_data
+      @failed_data = test_data
+      if @failed_data.respond_to?(:shrink)
+        @shrunk_failed_data = shrinkify(assertion, @failed_data)
+        io.puts "minimal failed data is:"
+        pretty_print @shrunk_failed_data
+      end
       raise boom
     end
   end
 
+  # return the first success case
+  def shrinkify(assertion, data)
+    # We assume that data.shrink is non-destructive
+    return data if !data.shrinkable?
+    val = data.shrink
+    begin
+      assertion.call(val)
+      io.puts "found a reduced success:"
+      pretty_print val
+      return data
+    rescue Exception
+      io.puts "found a reduced failure case:"
+      pretty_print val
+      # recursively shrink failure case
+      return shrinkify(assertion,val)
+    end
+  end
+
   def report
     distribs = self.classifiers.sort { |a,b| b[1] <=> a[1] }
     total = distribs.inject(0) { |sum,pair| sum + pair[1]}
@@ -41,20 +80,3 @@ class Rantly::Property
     end
   end
 end
-
-module Test::Unit::Assertions
-  def property_of(&block)
-    Rantly::Property.new(block)
-  end
-end
-
-begin
-  require 'rspec'
-  class RSpec::Core::ExampleGroup
-    def property_of(&block)
-      Rantly::Property.new(block)
-    end
-  end
-rescue LoadError
-  "No RSpec loaded. Oh, well."
-end

data/lib/rantly/rspec.rb

@@ -0,0 +1 @@
+require 'rantly/rspec_extensions'

data/lib/rantly/rspec_extensions.rb

@@ -0,0 +1,8 @@
+require 'rspec'
+require 'rantly/property'
+
+class RSpec::Core::ExampleGroup
+  def property_of(&block)
+    Rantly::Property.new(block)
+  end
+end

data/lib/rantly/shrinks.rb

@@ -0,0 +1,77 @@
+class Integer
+  def shrink
+    if self < 0 then (self / 2).floor + 1
+    elsif self <= 10 && self > 0 then self - 1
+    elsif self > 0 then ((self + 1) / 2).ceil - 1
+    else
+      return 0
+    end
+  end
+
+  def shrinkable?
+    self != 0
+  end
+end
+
+class String
+  def shrink
+    if self.size > 0
+      idx = Random::rand(self.size)
+      shrunk = self.dup
+      shrunk[idx] = ""
+      return shrunk
+    else
+      return ""
+    end
+  end
+
+  def shrinkable?
+    self != ""
+  end
+end
+
+class Array
+  def shrink
+    idx = find_index{|e| e.respond_to?(:shrinkable?) && e.shrinkable?}
+    if idx != nil
+      clone = self.dup
+      clone[idx] = clone[idx].shrink
+      return clone
+    elsif !self.empty?
+      i = Random::rand(self.length)
+      a2 = self.dup
+      a2.delete_at(i)
+      return a2
+    else
+      return self
+    end
+  end
+
+  def shrinkable?
+    self.any?{|e| e.respond_to?(:shrinkable?) && e.shrinkable? } ||
+      !self.empty?
+  end
+end
+
+class Hash
+  def shrink
+    if self.any?{|_,v| v.respond_to?(:shrinkable?) && v.shrinkable? }
+      key,_ = self.detect{|_,v| v.respond_to?(:shrinkable?) && v.shrinkable? }
+      clone = self.dup
+      clone[key] = clone[key].shrink
+      return clone
+    elsif !self.empty?
+      key = self.keys.first
+      h2 = self.dup
+      h2.delete(key)
+      return h2
+    else
+      return self
+    end
+  end
+
+  def shrinkable?
+    self.any?{|_,v| v.respond_to?(:shrinkable?) && v.shrinkable? } ||
+      !self.empty?
+  end
+end

data/lib/rantly/silly.rb

@@ -21,7 +21,7 @@ module Rantly::Silly::Love
 #{post_script}
 EOS
   end
-  
+
   def address
     "my #{extremifier} #{pedestal_label}"
   end
@@ -60,9 +60,8 @@ EOS
   end
 
   def caused_by
-    
   end
-  
+
   def whoami
     "#{extremifier} #{humbleizer} #{groveler}"
   end
@@ -113,4 +112,3 @@ EOS
     choose "once in a while","night","day","hour","minute"
   end
 end
-

data/lib/rantly/testunit_extensions.rb

@@ -0,0 +1,8 @@
+require 'test/unit'
+require 'rantly/property'
+
+module Test::Unit::Assertions
+  def property_of(&block)
+    Rantly::Property.new(block)
+  end
+end

data/rantly.gemspec

@@ -1,55 +1,70 @@
 # Generated by jeweler
 # DO NOT EDIT THIS FILE DIRECTLY
-# Instead, edit Jeweler::Tasks in Rakefile, and run the gemspec command
+# Instead, edit Jeweler::Tasks in Rakefile, and run 'rake gemspec'
 # -*- encoding: utf-8 -*-
+# stub: rantly 0.3.2 ruby lib
 
 Gem::Specification.new do |s|
-  s.name = %q{rantly}
-  s.version = "0.3.0"
+  s.name = "rantly"
+  s.version = "0.3.2"
 
   s.required_rubygems_version = Gem::Requirement.new(">= 0") if s.respond_to? :required_rubygems_version=
-  s.authors = ["Howard Yeh"]
-  s.date = %q{2010-01-22}
-  s.email = %q{hayeah@gmail.com}
+  s.require_paths = ["lib"]
+  s.authors = ["Howard Yeh", "Anthony Bargnesi"]
+  s.date = "2015-09-16"
+  s.email = ["hayeah@gmail.com", "abargnesi@gmail.com"]
   s.extra_rdoc_files = [
     "LICENSE",
-     "README.textile"
+    "README.textile"
   ]
   s.files = [
     ".document",
-     ".gitignore",
-     "LICENSE",
-     "README.textile",
-     "Rakefile",
-     "VERSION.yml",
-     "lib/rantly.rb",
-     "lib/rantly/data.rb",
-     "lib/rantly/generator.rb",
-     "lib/rantly/property.rb",
-     "lib/rantly/silly.rb",
-     "lib/rantly/spec.rb",
-     "rantly.gemspec",
-     "test/rantly_test.rb",
-     "test/test_helper.rb"
-  ]
-  s.homepage = %q{http://github.com/hayeah/rantly}
-  s.rdoc_options = ["--charset=UTF-8"]
-  s.require_paths = ["lib"]
-  s.rubygems_version = %q{1.3.5}
-  s.summary = %q{Ruby Imperative Random Data Generator and Quickcheck}
-  s.test_files = [
+    ".travis.yml",
+    "Gemfile",
+    "LICENSE",
+    "README.textile",
+    "Rakefile",
+    "VERSION.yml",
+    "lib/rantly.rb",
+    "lib/rantly/data.rb",
+    "lib/rantly/generator.rb",
+    "lib/rantly/minitest.rb",
+    "lib/rantly/minitest_extensions.rb",
+    "lib/rantly/property.rb",
+    "lib/rantly/rspec.rb",
+    "lib/rantly/rspec_extensions.rb",
+    "lib/rantly/shrinks.rb",
+    "lib/rantly/silly.rb",
+    "lib/rantly/spec.rb",
+    "lib/rantly/testunit_extensions.rb",
+    "rantly.gemspec",
     "test/rantly_test.rb",
-     "test/test_helper.rb"
+    "test/shrinks_test.rb",
+    "test/test_helper.rb"
   ]
+  s.homepage = "https://github.com/abargnesi/rantly"
+  s.rubygems_version = "2.4.5.1"
+  s.summary = "Ruby Imperative Random Data Generator and Quickcheck"
 
   if s.respond_to? :specification_version then
-    current_version = Gem::Specification::CURRENT_SPECIFICATION_VERSION
-    s.specification_version = 3
+    s.specification_version = 4
 
-    if Gem::Version.new(Gem::RubyGemsVersion) >= Gem::Version.new('1.2.0') then
+    if Gem::Version.new(Gem::VERSION) >= Gem::Version.new('1.2.0') then
+      s.add_development_dependency(%q<minitest>, ["~> 5.7.0"])
+      s.add_development_dependency(%q<jeweler>, [">= 0"])
+      s.add_development_dependency(%q<simplecov>, [">= 0"])
+      s.add_development_dependency(%q<coveralls>, [">= 0"])
     else
+      s.add_dependency(%q<minitest>, ["~> 5.7.0"])
+      s.add_dependency(%q<jeweler>, [">= 0"])
+      s.add_dependency(%q<simplecov>, [">= 0"])
+      s.add_dependency(%q<coveralls>, [">= 0"])
     end
   else
+    s.add_dependency(%q<minitest>, ["~> 5.7.0"])
+    s.add_dependency(%q<jeweler>, [">= 0"])
+    s.add_dependency(%q<simplecov>, [">= 0"])
+    s.add_dependency(%q<coveralls>, [">= 0"])
   end
 end
 

data/test/rantly_test.rb

@@ -1,23 +1,22 @@
-require 'test/test_helper'
-require 'rantly/property'
+require 'test_helper'
+require 'rantly/minitest_extensions'
 
 module RantlyTest
 end
 
-# check we generate the right kind of data.
-## doesn't check for distribution
-class RantlyTest::Generator < Test::Unit::TestCase
-  def setup
+describe Rantly::Property do
+
+  before do
     Rantly.gen.reset
   end
-  
-  should "fail test generation" do
+
+  it "fail test generation" do
     assert_raises(Rantly::TooManyTries) {
       property_of { guard range(0,1) < 0 }.check
     }
   end
 
-  should "generate literal value by returning itself" do
+  it "generate literal value by returning itself" do
     property_of {
       i = integer
       [i,literal(i)]
@@ -26,7 +25,7 @@ class RantlyTest::Generator < Test::Unit::TestCase
     }
   end
 
-  should "generate integer in range" do
+  it "generate integer in range" do
     property_of {
       i = integer
       [i,range(i,i)]
@@ -37,15 +36,15 @@ class RantlyTest::Generator < Test::Unit::TestCase
       lo, hi = [integer(100),integer(100)].sort
       [lo,hi,range(lo,hi)]
     }.check { |(lo,hi,int)|
-      assert((lo..hi).include?(int)) 
+      assert((lo..hi).include?(int))
     }
   end
 
-  should "generate Fixnum only" do
+  it "generate Fixnum only" do
     property_of  { integer }.check { |i| assert i.is_a?(Integer) }
   end
 
-  should "generate integer less than abs(n)" do
+  it "generate integer less than abs(n)" do
     property_of {
       n = range(0,10)
       [n,integer(n)]
@@ -54,17 +53,17 @@ class RantlyTest::Generator < Test::Unit::TestCase
     }
   end
 
-  should "generate Float" do
+  it "generate Float" do
     property_of { float }.check { |f| assert f.is_a?(Float)}
   end
 
-  should "generate Boolean" do
+  it "generate Boolean" do
     property_of { boolean }.check { |t|
       assert t == true || t == false
     }
   end
 
-  should "generate empty strings" do
+  it "generate empty strings" do
     property_of {
       sized(0) { string }
     }.check { |s|
@@ -72,7 +71,7 @@ class RantlyTest::Generator < Test::Unit::TestCase
     }
   end
 
-  should "generate strings with the right regexp char classes" do
+  it "generate strings with the right regexp char classes" do
     char_classes = Rantly::Chars::CLASSES.keys
     property_of {
       char_class = choose(*char_classes)
@@ -92,7 +91,7 @@ class RantlyTest::Generator < Test::Unit::TestCase
     }
   end
 
-  should "generate strings matching regexp" do
+  it "generate strings matching regexp" do
     property_of {
       sized(10) { string(/[abcd]/) }
     }.check { |s|
@@ -102,11 +101,11 @@ class RantlyTest::Generator < Test::Unit::TestCase
 
   # call
 
-  should "call Symbol as method call (no arg)" do
+  it "call Symbol as method call (no arg)" do
     property_of {call(:integer)}.check { |i| i.is_a?(Integer)}
   end
 
-  should "call Symbol as method call (with arg)" do
+  it "call Symbol as method call (with arg)" do
     property_of {
       n = range(0,100)
       [n,call(:integer,n)]
@@ -115,8 +114,8 @@ class RantlyTest::Generator < Test::Unit::TestCase
     }
   end
 
-  should "call Array by calling first element as method, the rest as args" do
-    assert_raise(RuntimeError) {
+  it "call Array by calling first element as method, the rest as args" do
+    assert_raises(RuntimeError) {
       Rantly.gen.value {
         call []
       }
@@ -128,8 +127,8 @@ class RantlyTest::Generator < Test::Unit::TestCase
       assert_equal a, b
     }
   end
-  
-  should "call Proc with generator.instance_eval" do
+
+  it "call Proc with generator.instance_eval" do
     property_of {
       call Proc.new { true }
     }.check { |o|
@@ -147,16 +146,16 @@ class RantlyTest::Generator < Test::Unit::TestCase
       assert i1 > i0
     }
   end
-  
-  should "raise if calling on any other value" do
-    assert_raise(RuntimeError) {
+
+  it "raise if calling on any other value" do
+    assert_raises(RuntimeError) {
       Rantly.gen.call 0
     }
   end
 
   # branch
 
-  should "branch by Rantly#calling one of the args" do
+  it "branch by Rantly#calling one of the args" do
     property_of {
       branch :integer, :integer, :integer
     }.check { |o|
@@ -169,10 +168,9 @@ class RantlyTest::Generator < Test::Unit::TestCase
     }
   end
 
-  
   # choose
-  
-  should "choose a value from args " do
+
+  it "choose a value from args " do
     property_of {
       choose
     }.check {|o|
@@ -190,7 +188,7 @@ class RantlyTest::Generator < Test::Unit::TestCase
     }
     property_of {
       arr = sized(10) { array { integer } }
-      choose(*arr) 
+      choose(*arr)
     }.check { |o|
       assert o.is_a?(Fixnum)
     }
@@ -207,7 +205,7 @@ class RantlyTest::Generator < Test::Unit::TestCase
 
   # freq
 
-  should "not pick an element with 0 frequency" do
+  it "not pick an element with 0 frequency" do
     property_of {
       sized(10) {
         array { freq([0,:string],[1,:integer]) }
@@ -217,8 +215,8 @@ class RantlyTest::Generator < Test::Unit::TestCase
     }
   end
 
-  should "handle degenerate freq pairs" do
-    assert_raise(RuntimeError) {
+  it "handle degenerate freq pairs" do
+    assert_raises(RuntimeError) {
       Rantly.gen.value {
         freq
       }
@@ -233,15 +231,15 @@ class RantlyTest::Generator < Test::Unit::TestCase
 
   # array
 
-  should "generate empty array" do
+  it "generate empty array" do
     property_of {
       sized(0) { array { integer }}
     }.check { |o|
       assert o.empty?
     }
   end
-  
-  should "generate the right sized nested arrays" do
+
+  it "generate the right sized nested arrays" do
     property_of {
       size1 = range(5,10)
       size2 = range(0,size1-1)
@@ -252,8 +250,8 @@ class RantlyTest::Generator < Test::Unit::TestCase
       assert outter_array.all? { |inner_array| inner_array.size < size1 }
     }
   end
-  
-  should "generate array with right types" do
+
+  it "generate array with right types" do
     property_of {
       sized(10) { array { freq(:integer,:string,:float)}  }
     }.check { |arr|
@@ -268,17 +266,24 @@ class RantlyTest::Generator < Test::Unit::TestCase
     }
   end
 
-  # should "raise if generating an array without size" do
-#     assert_raise(RuntimeError) {
-#       Rantly.gen.value { array(:integer) }
-#     }
-#   end
+  # it "raise if generating an array without size" do
+  #   assert_raises(RuntimeError) {
+  #     Rantly.gen.value { array(:integer) }
+  #   }
+  # end
 
 end
-  
 
+# TODO: Determine type of tests required here.
+
+# check we generate the right kind of data.
+## doesn't check for distribution
+class RantlyTest::Generator < Minitest::Test
+  def setup
+    Rantly.gen.reset
+  end
+end
 
 # TODO: check that distributions of different methods look roughly correct.
-class RantlyTest::Distribution
-  
+class RantlyTest::Distribution < Minitest::Test
 end

data/test/shrinks_test.rb

@@ -0,0 +1,108 @@
+require 'test_helper'
+require 'rantly/shrinks'
+require 'rantly/minitest_extensions'
+
+module RantlyTest
+end
+
+module RantlyTest::Shrinkers
+end
+
+describe Integer do
+
+  it "not be able to shrink 0 integer" do
+    assert !0.shrinkable?
+  end
+
+  it "shrink positive integers to something less than itself" do
+    assert(3.shrink < 3)
+    assert(2.shrink < 2)
+    assert_equal(0,1.shrink)
+  end
+
+  it "shrink negative integers to something larger than itself" do
+    assert(-3.shrink > -3)
+    assert(-2.shrink > -2)
+    assert_equal(0,-1.shrink)
+  end
+
+  it "shrink 0 to itself" do
+    # hmm. should this be undefined?
+    assert_equal 0.shrink, 0
+  end
+end
+
+describe String do
+
+  it "not be able to shrink empty string" do
+    assert !"".shrinkable?
+  end
+
+  it "shrink a string one char shorter" do
+    property_of {
+      sized(10) { string }
+    }.check { |str|
+      assert_equal 9, str.shrink.length
+    }
+  end
+end
+
+describe Array do
+
+  it "not be able to shrink empty array" do
+    assert ![].shrinkable?
+  end
+
+  it "shrink array by trying to shrink the first shrinkable element available" do
+    assert_equal [0,1], [1,1].shrink
+    assert_equal [0,0,1], [0,1,1].shrink
+  end
+
+  it "shrink array by 1 if none of the element in it is shrinkable" do
+    property_of {
+      n = integer(1..10)
+      a = Array.new(n,0)
+      [n,a]
+    }.check { |n,a|
+      assert_equal n-1, a.shrink.length
+    }
+  end
+end
+
+describe Hash do
+
+  it "not be able to shrink empty hash" do
+    assert !{}.shrinkable?
+  end
+
+  it "shrink a value if one of the values is shrinkable" do
+    assert_equal({foo: 0, bar: 0}, {foo: 1, bar: 0}.shrink)
+    assert_equal({foo: 0, bar: 0}, {foo: 0, bar: 1}.shrink)
+  end
+
+  it "shrink by deleting an element in it if none of the values is shrinkable" do
+    assert_equal({},{foo: 0}.shrink)
+  end
+end
+
+describe "Shrinker Test" do
+
+  it "shrink data to smallest value that fails assertion" do
+    # We try to generate an array of 10 elements, filled with ones.
+    # The property we try to test is that non of the element is
+    # larger than 1, and the array's length is less than 4.
+    test = property_of {
+      a = Array.new(10,1)
+      i = Random::rand(a.length)
+      a[i] = 1
+      a
+    }
+    assert_raises MiniTest::Assertion do
+      test.check { |a|
+        assert(!a.any? { |e| e > 0 } && a.length < 4,"contains 1")
+      }
+    end
+
+    assert_equal [0,0,0,0], test.shrunk_failed_data
+  end
+end

data/test/test_helper.rb

@@ -1,11 +1,18 @@
 require 'rubygems'
-require 'test/unit'
-require 'shoulda'
+require 'minitest/autorun'
 
 $LOAD_PATH.unshift(File.join(File.dirname(__FILE__), '..', 'lib'))
 $LOAD_PATH.unshift(File.dirname(__FILE__))
 
-require 'rantly'
+require 'simplecov'
+SimpleCov.start
 
-class Test::Unit::TestCase
+begin
+  # Coveralls is marked as an _optional_ dependency, so don't
+  # throw a fit if it's not there.
+  require 'coveralls'
+  Coveralls.wear!
+rescue LoadError
 end
+
+require 'rantly'

metadata

@@ -1,47 +1,84 @@
 --- !ruby/object:Gem::Specification
 name: rantly
 version: !ruby/object:Gem::Version
-  version: 0.3.1
-  prerelease: 
+  version: 0.3.2
 platform: ruby
 authors:
 - Howard Yeh
+- Anthony Bargnesi
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2011-12-15 00:00:00.000000000 Z
+date: 2015-09-16 00:00:00.000000000 Z
 dependencies:
+- !ruby/object:Gem::Dependency
+  name: minitest
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 5.7.0
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 5.7.0
 - !ruby/object:Gem::Dependency
   name: jeweler
-  requirement: &2156578960 !ruby/object:Gem::Requirement
-    none: false
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: simplecov
+  requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ! '>='
+    - - ">="
       - !ruby/object:Gem::Version
         version: '0'
   type: :development
   prerelease: false
-  version_requirements: *2156578960
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
 - !ruby/object:Gem::Dependency
-  name: shoulda
-  requirement: &2156578420 !ruby/object:Gem::Requirement
-    none: false
+  name: coveralls
+  requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ! '>='
+    - - ">="
       - !ruby/object:Gem::Version
         version: '0'
   type: :development
   prerelease: false
-  version_requirements: *2156578420
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
 description: 
-email: hayeah@gmail.com
+email:
+- hayeah@gmail.com
+- abargnesi@gmail.com
 executables: []
 extensions: []
 extra_rdoc_files:
 - LICENSE
 - README.textile
 files:
-- .document
+- ".document"
+- ".travis.yml"
 - Gemfile
 - LICENSE
 - README.textile
@@ -50,34 +87,41 @@ files:
 - lib/rantly.rb
 - lib/rantly/data.rb
 - lib/rantly/generator.rb
+- lib/rantly/minitest.rb
+- lib/rantly/minitest_extensions.rb
 - lib/rantly/property.rb
+- lib/rantly/rspec.rb
+- lib/rantly/rspec_extensions.rb
+- lib/rantly/shrinks.rb
 - lib/rantly/silly.rb
 - lib/rantly/spec.rb
+- lib/rantly/testunit_extensions.rb
 - rantly.gemspec
 - test/rantly_test.rb
+- test/shrinks_test.rb
 - test/test_helper.rb
-homepage: http://github.com/hayeah/rantly
+homepage: https://github.com/abargnesi/rantly
 licenses: []
+metadata: {}
 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.11
+rubygems_version: 2.4.5.1
 signing_key: 
-specification_version: 3
+specification_version: 4
 summary: Ruby Imperative Random Data Generator and Quickcheck
 test_files: []
+has_rdoc: