rubycheck 0.0.2 → 0.0.3

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: b4f40a17b352914e3fe3a4b207ddf58918169851
-  data.tar.gz: cc0c396f970798c6d49bddf94bc230b8f23e17d6
+  metadata.gz: 6ec34c44e9e6e6669faf9449371fc755ae41dfe5
+  data.tar.gz: 097e524dd00f3a74bfbf6d7350444248016501de
 SHA512:
-  metadata.gz: 40466f085d6c7be387de6e0917da7d2a91db909915ba5117456504ffaf40b93c81f9f2b4ff13e671647e975053c471ea48711e19a7d545fa2e265aa4d7fdc1f7
-  data.tar.gz: 3bab24d7c007df4fe463499b06e204a9599122efc3625888cef56ba4b60f8862661ad9f56869e4d62f2c858963fc67d02d91c1fcacd72d486a51aa2dbc7dfa66
+  metadata.gz: 076a81daaadc87ed6ec296624a6980faaed7b3ae058cdd358069aa8c5cebd6a91e38ab7e4d099c789c60495a71145530d1772754e4fc5f2fb7800e6c0232e664
+  data.tar.gz: 93aedb403da62509d6c8925705b6c174d0fe4c43edbe1c1c5b66256717a11a97584db415745fdb7ad47b367189f4998707a9f76c3786f6d0b50c8f90a21de855

data/lib/rubycheck.rb

@@ -53,8 +53,10 @@ module RubyCheck
     end
   end
 
-  # Evaluates property over 100 random unit tests,
-  # with argument values specified in generators.
+  #
+  # Evaluates property over 100 random unit tests, with argument values specified in generators.
+  # Returns true, or the failing test case.
+  #
 
   Contract Proc, ArrayOf[Proc] => Bool
   def self.for_all(property, gen_syms)
@@ -63,10 +65,8 @@ module RubyCheck
       fail PropertyFailure.new(test_case), 'test case error' unless property.call(*test_case)
     end
   rescue PropertyFailure => e
-    puts "*** Failed!\n#{e.test_case}"
-    false
+    e.test_case
   else
-    puts "+++ OK, passed #{TRIALS} tests."
     true
   end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rubycheck
 version: !ruby/object:Gem::Version
-  version: 0.0.2
+  version: 0.0.3
 platform: ruby
 authors:
 - Andrew Pennebaker
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2014-01-14 00:00:00.000000000 Z
+date: 2014-02-06 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: contracts
@@ -184,14 +184,14 @@ dependencies:
     requirements:
     - - '>='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: '0.6'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - '>='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: '0.6'
 - !ruby/object:Gem::Dependency
   name: rspec
   requirement: !ruby/object:Gem::Requirement
@@ -206,20 +206,6 @@ dependencies:
     - - '>='
       - !ruby/object:Gem::Version
         version: '0'
-- !ruby/object:Gem::Dependency
-  name: cucumber
-  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'
 description: See example.rb for API usage.
 email: andrew.pennebaker@gmail.com
 executables: []
@@ -227,7 +213,6 @@ extensions: []
 extra_rdoc_files: []
 files:
 - lib/rubycheck.rb
-- example.rb
 homepage: http://www.yellosoft.us/quickcheck
 licenses: []
 metadata: {}
@@ -247,7 +232,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 2.0.6
+rubygems_version: 2.1.10
 signing_key: 
 specification_version: 4
 summary: a Ruby port of the QuickCheck unit test framework

data/example.rb

@@ -1,40 +0,0 @@
-#!/usr/bin/env ruby
-
-require 'rubycheck'
-
-# Define gen_even
-module RubyCheck
-  def self.gen_even
-    i = gen_int
-
-    if i.even?
-      i
-    else
-      i + 1
-    end
-  end
-end
-
-prop_even = -> n { n.even? }
-
-# Should fail.
-RubyCheck.for_all(prop_even, [:gen_int])
-
-# Should pass.
-RubyCheck.for_all(prop_even, [:gen_even])
-
-# Define gen_palindrome
-module RubyCheck
-  def self.gen_palindrome
-    s = gen_str
-    s + s.reverse
-  end
-end
-
-prop_palindrome = -> s { s == s.reverse }
-
-# Should fail.
-RubyCheck.for_all(prop_palindrome, [:gen_str])
-
-# Should pass.
-RubyCheck.for_all(prop_palindrome, [:gen_palindrome])