queencheck 0.0.0

data/.rspec

@@ -0,0 +1,3 @@
+--default_path spec
+--color
+--format Fuubar

data/.rvmrc

@@ -0,0 +1 @@
+rvm use 1.9.3@queencheck --create

data/.travis.yml

@@ -0,0 +1,5 @@
+language: ruby
+rvm:
+  - 1.8.7
+  - 1.9.2
+  - 1.9.3

data/Gemfile

@@ -0,0 +1,13 @@
+source "http://rubygems.org"
+
+group :development do
+  gem "jeweler"
+  gem "rake"
+  gem "rspec", "2.8.0"
+  gem "guard-rspec", "0.6.0"
+  gem "growl", "1.0.3"
+  gem "spork", "0.9.0.rc9"
+  gem "guard-spork", "0.5.1"
+  gem "rb-fsevent", "0.4.3.1"
+  gem "fuubar", "~> 0.0.6"
+end

data/Guardfile

@@ -0,0 +1,9 @@
+guard 'spork', :cucumber => false, :bundler => false do
+end
+
+guard 'rspec', version: 2, cli: '--drb --color --format Fuubar' do
+  watch(%r{^spec/.+_spec\.rb$})
+  watch(%r{^lib/(.+)\.rb$})     { |m| "spec/#{m[1]}_spec.rb" }
+  watch('spec/spec_helper.rb')  { "spec" }
+end
+

data/README.markdown

@@ -0,0 +1,21 @@
+# QueenCheck
+
+QueenCheck is random test library.
+
+Inspired by QuickCheck library in Haskell.
+
+## Usage
+
+```ruby
+require 'queencheck'
+
+number = 100
+
+check = QueenCheck.new(number, :+, Integer)
+
+res = check.run(verbose: true) do | result, arguments, error |
+    result == number + arguments[0]
+end
+
+puts "#{res[:passed]} / #{res[:examples]}"
+```

data/Rakefile

@@ -0,0 +1,20 @@
+require 'bundler'
+
+require 'rspec/core/rake_task'
+RSpec::Core::RakeTask.new(:spec)
+
+task :default => :spec
+
+begin
+  require 'jeweler'
+  Jeweler::Tasks.new do |gemspec|
+    gemspec.name = "queencheck"
+    gemspec.summary = "like haskell's QuickCheck"
+    gemspec.email = "rosylilly@aduca.org"
+    gemspec.homepage = "https://github.com/rosylilly/QueenCheck"
+    gemspec.description = "QueenCheck is random test library. Inspired by QuickCheck library in Haskell."
+    gemspec.authors = ["Sho Kusano"]
+  end
+rescue LoadError
+  puts "Jeweler not available. Install it with: sudo gem install technicalpickles-jeweler -s http://gems.github.com"
+end

data/VERSION

@@ -0,0 +1 @@
+0.0.0

data/lib/queencheck/arbitrary.rb

@@ -0,0 +1,56 @@
+
+module QueenCheck
+  class << self
+    def Arbitrary(name = nil, &block)
+      if block.nil? && !name.nil?
+        return QueenCheck::Arbitrary::Instance.get_by_id(name)
+      else
+        return QueenCheck::Arbitrary::Instance.new(name, &block)
+      end
+      nil
+    end
+  end
+  module Arbitrary
+    class NotQueenCheckArbitrary < StandardError; end
+
+    def arbitrary?; true; end
+
+    def arbitrary(seed)
+      raise NotImplementedError
+    end
+
+    def set_arbitrary(&block)
+      self.module_eval do
+        sig = class << self; self; end
+        sig.send(:define_method, :arbitrary, &block)
+      end
+    end
+
+    class Instance
+      @@collection = {}
+      def self.get_by_id(name); return @@collection[name.to_s.to_sym]; end
+      def self.collection=(c); @@collection = c; end
+      def self.collection; @@collection; end
+
+      def initialize(name = nil, &block)
+        raise ArgumentError, "require block" if block.nil?
+        @arbitrary_proc = block
+        @name = name.to_s.to_sym unless name.nil?
+        unless @name.nil?
+          @@collection[@name] = self
+        end
+      end
+      attr_reader :name
+
+      def arbitrary?; true; end
+
+      def arbitrary(seed)
+        @arbitrary_proc.call(seed)
+      end
+    end
+  end
+end
+
+class BasicObject
+  def arbitrary?; false; end
+end

data/lib/queencheck/array.rb

@@ -0,0 +1,33 @@
+require 'queencheck/arbitrary'
+
+class Array
+  extend QueenCheck::Arbitrary
+
+  @@bound = 10
+
+  set_arbitrary do |seed|
+    if seed == 0
+      return []
+    else
+      base = ((@@bound * seed).ceil)
+
+      ary = Array.new(rand(base) + 1)
+
+      if seed > 0.3
+        ary.map!{|ar| Array.new(rand(base) + 1) }
+      end
+
+      if seed > 0.5
+        ary.map!{|ar| ar.map!{|a| Array.new(rand(base) + 1) } }
+      end
+
+      if seed > 0.8
+        ary.map!{|ar| ar.map!{|a| a.map!{|item| Array.new(rand(base) + 1) } } }
+      end
+
+      return ary
+    end
+  end
+end
+
+

data/lib/queencheck/boolean.rb

@@ -0,0 +1,9 @@
+require 'queencheck/arbitrary'
+
+class Boolean
+  extend QueenCheck::Arbitrary
+
+  set_arbitrary do | seed |
+    rand(2).zero? ? true : false
+  end
+end

data/lib/queencheck/config.rb

@@ -0,0 +1,16 @@
+
+module QueenCheck
+  class Config
+    attr_reader :count, :log
+
+    def initialize(options = nil)
+      options ||= {}
+
+      @count = options[:count] || 100 # デフォルトの試行回数は 100 回
+      @verbose = options[:verbose] || false
+      @log = options[:log] || STDOUT
+    end
+
+    def verbose?; @verbose; end
+  end
+end

data/lib/queencheck/core.rb

@@ -0,0 +1,107 @@
+require 'queencheck/config'
+
+module QueenCheck
+  def self.new(*args)
+    QueenCheck::Core.new(*args)
+  end
+
+  class Core
+    def initialize(instance, method, *types)
+      @instance = instance
+      @method = method.respond_to?(:call) ? method : instance.method(method.to_s.to_sym)
+      @types = types.map do | type |
+        if type.respond_to?(:arbitrary?) && type.arbitrary?
+          next type
+        elsif types.kind_of?(Symbol)
+          type = QueenCheck::Arbitrary::Instance.get_by_id(type)
+          next type if type
+        end
+        raise QueenCheck::Arbitrary::NotQueenCheckArbitrary, "`#{type}` is not implemented arbitrary"
+      end
+    end
+
+    def run(config = QueenCheck::Config.new, &block)
+      config = config.kind_of?(Hash) ? QueenCheck::Config.new(config) : config
+
+      stats = QueenCheck::Core::Result.new(config.count)
+
+      config.count.times do | n |
+        range = n.to_f / config.count
+        arguments = []
+        @types.each do | type |
+          arguments.push(type.arbitrary(range))
+        end
+
+        if config.verbose?
+          arguments.each_with_index do | n, i |
+            puts "#{@types[i]}: #{n}"
+          end
+        end
+
+        result, error = nil, nil
+        begin
+          result = @method.call(*arguments)
+        rescue Exception => e
+          error = e
+        end
+
+        is_exception = false
+        begin
+          test_result = block.call(result, arguments, error)
+        rescue Exception => e
+          error = e
+          is_exception = true
+        end
+
+        if config.verbose?
+          print "#{@instance.kind_of?(Class) ? @instance.name : @instance.class.name} \##{@method.respond_to?(:name) ? @method.name : @method.class} ("
+          print @types.map{|type| "#{type.name}" }.join(', ') + ')'
+          puts " => #{is_exception ? error.class : test_result}"
+        end
+
+        unless is_exception
+          case test_result
+          when true
+            stats.passed += 1
+          when false
+            stats.failures += 1
+          end
+        else
+          stats.add_exception(error)
+        end
+      end
+
+      return stats
+    end
+
+    class Result
+      def initialize(examples)
+        @examples = examples
+        @passed = 0
+        @failures = 0
+        @exceptions = []
+      end
+      attr_reader :examples, :passed, :failures
+
+      def passed=(n)
+        raise RangeError if n > @examples
+        @passed = n
+      end
+
+      def failures=(n)
+        raise RangeError if n > @examples
+        @failures = n
+      end
+
+      def exceptions; @exceptions.length; end
+
+      def add_exception(e)
+        @exceptions.push(e)
+      end
+    end
+  end
+end
+
+def QueenCheck(*args)
+  QueenCheck.new(*args)
+end

data/lib/queencheck/elements_of.rb

@@ -0,0 +1,44 @@
+
+module QueenCheck
+  class << self
+    def ElementsOf(name, elements = nil)
+      if elements.nil? && !name.kind_of?(Array)
+        return QueenCheck::ElementsOf.get_by_id(name)
+      else
+        return QueenCheck::ElementsOf.new(name, elements)
+      end
+    end
+  end
+
+  class ElementsOf
+    @@instances = {}
+
+    def self.get_by_id(id)
+      return @@instances[id.to_s.to_sym]
+    end
+
+    attr_reader :elements, :name
+
+    def arbitrary?; true; end
+
+    def arbitrary(seed)
+      @elements[rand(@elements.length)]
+    end
+
+    def initialize(name, elements = nil)
+      if elements.nil? && name.kind_of?(Array)
+        elements = name
+        name = nil
+      end
+
+      raise ArgumentError, 'elements length require over 1' if !elements.respond_to?(:length) || elements.length < 0
+      @elements = elements
+
+      if name
+        @name = name.to_s.to_sym
+        @@instances[@name] = self
+        QueenCheck::Arbitrary::Instance.collection["elements_of_#{@name}".to_sym] = self
+      end
+    end
+  end
+end

data/lib/queencheck/float.rb

@@ -0,0 +1,23 @@
+require 'queencheck/arbitrary'
+
+class Float
+  extend QueenCheck::Arbitrary
+
+  @@bound = 25
+
+  set_arbitrary do |seed|
+    if seed == 0
+      0.0
+    else
+      if seed > 0.9 && rand(3) > 0
+        return rand(2).zero? ? 0.0/0.0 : rand(2).zero? ? 1.0/0 : -1.0/0
+      end
+      base = ((@@bound * seed).ceil).to_f
+      max = 10.0 ** base
+      num = rand(max)
+      nod = num.to_s.length
+      num.to_f / (10 ** ((rand(nod / 2) + nod / 2) / 2)) * (rand(2).zero? ? 1.0 : -1.0)
+    end
+  end
+end
+

data/lib/queencheck/integer.rb

@@ -0,0 +1,16 @@
+require 'queencheck/arbitrary'
+
+class Integer
+  extend QueenCheck::Arbitrary
+
+  @@bound = 25
+
+  set_arbitrary do |seed|
+    if seed == 0
+      0
+    else
+      max = 10 ** ((@@bound * seed).ceil)
+      rand(max) * (rand(2).zero? ? 1 : -1)
+    end
+  end
+end

data/lib/queencheck/string.rb

@@ -0,0 +1,41 @@
+require 'queencheck/arbitrary'
+
+class String
+  extend QueenCheck::Arbitrary
+
+  @@max_length = 3000
+
+  set_arbitrary do | seed |
+    max = (@@max_length * (seed * seed)).ceil
+
+    charset = []
+    if seed == 0
+      return ''
+    elsif seed < 0.1
+      charset = (0x61 ... 0x7b).to_a + (0x41 ... 0x5b).to_a
+    elsif seed < 0.3 # ASCII
+      charset = (0x32 ... 0x7f).to_a
+    elsif seed < 0.5
+      charset = (0x00 ... 0x80).to_a
+    elsif seed < 0.7
+      charset = (0x00 ... 0x80).to_a
+      charset += (0x80 ... 0x800).to_a
+    elsif seed < 0.9
+      charset = (0x00 ... 0x80).to_a
+      charset += (0x80 ... 0x800).to_a
+      charset += (0x800 ... 0x8000).to_a
+    elsif seed <= 1
+      charset = (0x00 ... 0x80).to_a
+      charset += (0x80 ... 0x800).to_a
+      charset += (0x800 ... 0x8000).to_a
+      charset += (0x1000 ... 0x20000).to_a
+    end
+
+    ret = []
+    (rand(max/2) + (max/2)).times do
+      ret << charset[rand(charset.length)]
+    end
+
+    return ret.pack('U*')
+  end
+end

data/lib/queencheck.rb

@@ -0,0 +1,10 @@
+$:.unshift File.dirname(__FILE__)
+
+require 'queencheck/core'
+require 'queencheck/arbitrary'
+
+require 'queencheck/integer'
+require 'queencheck/float'
+require 'queencheck/boolean'
+require 'queencheck/array'
+require 'queencheck/string'

data/queencheck.gemspec

@@ -0,0 +1,85 @@
+# Generated by jeweler
+# DO NOT EDIT THIS FILE DIRECTLY
+# Instead, edit Jeweler::Tasks in Rakefile, and run 'rake gemspec'
+# -*- encoding: utf-8 -*-
+
+Gem::Specification.new do |s|
+  s.name = "queencheck"
+  s.version = "0.0.0"
+
+  s.required_rubygems_version = Gem::Requirement.new(">= 0") if s.respond_to? :required_rubygems_version=
+  s.authors = ["Sho Kusano"]
+  s.date = "2012-01-22"
+  s.description = "QueenCheck is random test library. Inspired by QuickCheck library in Haskell."
+  s.email = "rosylilly@aduca.org"
+  s.extra_rdoc_files = [
+    "README.markdown"
+  ]
+  s.files = [
+    ".rspec",
+    ".rvmrc",
+    ".travis.yml",
+    "Gemfile",
+    "Guardfile",
+    "README.markdown",
+    "Rakefile",
+    "VERSION",
+    "lib/queencheck.rb",
+    "lib/queencheck/arbitrary.rb",
+    "lib/queencheck/array.rb",
+    "lib/queencheck/boolean.rb",
+    "lib/queencheck/config.rb",
+    "lib/queencheck/core.rb",
+    "lib/queencheck/elements_of.rb",
+    "lib/queencheck/float.rb",
+    "lib/queencheck/integer.rb",
+    "lib/queencheck/string.rb",
+    "queencheck.gemspec",
+    "spec/queencheck/arbitrary_spec.rb",
+    "spec/queencheck/core_spec.rb",
+    "spec/queencheck/elements_of_spec.rb",
+    "spec/queencheck/integer_spec.rb",
+    "spec/spec_helper.rb"
+  ]
+  s.homepage = "https://github.com/rosylilly/QueenCheck"
+  s.require_paths = ["lib"]
+  s.rubygems_version = "1.8.10"
+  s.summary = "like haskell's QuickCheck"
+
+  if s.respond_to? :specification_version then
+    s.specification_version = 3
+
+    if Gem::Version.new(Gem::VERSION) >= Gem::Version.new('1.2.0') then
+      s.add_development_dependency(%q<jeweler>, [">= 0"])
+      s.add_development_dependency(%q<rake>, [">= 0"])
+      s.add_development_dependency(%q<rspec>, ["= 2.8.0"])
+      s.add_development_dependency(%q<guard-rspec>, ["= 0.6.0"])
+      s.add_development_dependency(%q<growl>, ["= 1.0.3"])
+      s.add_development_dependency(%q<spork>, ["= 0.9.0.rc9"])
+      s.add_development_dependency(%q<guard-spork>, ["= 0.5.1"])
+      s.add_development_dependency(%q<rb-fsevent>, ["= 0.4.3.1"])
+      s.add_development_dependency(%q<fuubar>, ["~> 0.0.6"])
+    else
+      s.add_dependency(%q<jeweler>, [">= 0"])
+      s.add_dependency(%q<rake>, [">= 0"])
+      s.add_dependency(%q<rspec>, ["= 2.8.0"])
+      s.add_dependency(%q<guard-rspec>, ["= 0.6.0"])
+      s.add_dependency(%q<growl>, ["= 1.0.3"])
+      s.add_dependency(%q<spork>, ["= 0.9.0.rc9"])
+      s.add_dependency(%q<guard-spork>, ["= 0.5.1"])
+      s.add_dependency(%q<rb-fsevent>, ["= 0.4.3.1"])
+      s.add_dependency(%q<fuubar>, ["~> 0.0.6"])
+    end
+  else
+    s.add_dependency(%q<jeweler>, [">= 0"])
+    s.add_dependency(%q<rake>, [">= 0"])
+    s.add_dependency(%q<rspec>, ["= 2.8.0"])
+    s.add_dependency(%q<guard-rspec>, ["= 0.6.0"])
+    s.add_dependency(%q<growl>, ["= 1.0.3"])
+    s.add_dependency(%q<spork>, ["= 0.9.0.rc9"])
+    s.add_dependency(%q<guard-spork>, ["= 0.5.1"])
+    s.add_dependency(%q<rb-fsevent>, ["= 0.4.3.1"])
+    s.add_dependency(%q<fuubar>, ["~> 0.0.6"])
+  end
+end
+

data/spec/queencheck/arbitrary_spec.rb

@@ -0,0 +1,41 @@
+require 'queencheck/arbitrary'
+
+describe QueenCheck::Arbitrary do
+  class Example
+    extend QueenCheck::Arbitrary
+  end
+
+  it 'arbitrary' do
+    expect {
+      Example.arbitrary(1)
+    }.to raise_error NotImplementedError
+
+    Example.class_eval do
+      def arbitrary(seed)
+      end
+    end
+  end
+
+  describe 'Original Arbitrary' do
+    it 'new' do
+      arb = QueenCheck::Arbitrary() do | seed |
+        if seed < 0.5
+          10**20
+        else
+          ""
+        end
+      end
+
+      arb.arbitrary?.should be_true
+      arb.arbitrary(0).should eq(10**20)
+      arb.arbitrary(1).should eq("")
+    end
+
+    it 'named search' do
+      arb = QueenCheck::Arbitrary(:sample) {}
+
+      QueenCheck::Arbitrary(:sample).should eq(arb)
+    end
+  end
+end
+

data/spec/queencheck/core_spec.rb

@@ -0,0 +1,33 @@
+require 'queencheck'
+
+describe QueenCheck do
+  before(:each) do
+    @checker = QueenCheck.new(3, :+, Integer)
+  end
+
+  it 'quick test' do
+    ret = @checker.run do | result, arguments |
+      result.should == 3 + arguments[0]
+    end
+
+    ret.examples.should eq(100)
+    ret.passed.should eq(100)
+    ret.failures.should eq(0)
+  end
+
+  it 'exception' do
+    div = QueenCheck(5, :/, Integer)
+
+    ret = div.run do | result, arguments, error |
+      if error
+        error.should be_kind_of(ZeroDivisionError)
+      else
+        result.should eq(5 / arguments[0])
+      end
+    end
+
+    ret.examples.should eq(100)
+    ret.passed.should eq(100)
+  end
+end
+

data/spec/queencheck/elements_of_spec.rb

@@ -0,0 +1,22 @@
+require 'queencheck/elements_of'
+
+describe QueenCheck::ElementsOf do
+  before(:each) do
+    @samples = ['a', 'b', 'c']
+    @elements_of = QueenCheck::ElementsOf.new(@samples)
+  end
+
+  it 'choose one' do
+    100.times do
+      @samples.should be_include(@elements_of.arbitrary(rand(10).to_f / 10))
+    end
+  end
+
+  it 'named type' do
+    named = QueenCheck::ElementsOf(:names, ['test', 'sample'])
+
+    named.should be_kind_of(QueenCheck::ElementsOf)
+    QueenCheck::ElementsOf(:names).should eq(named)
+    QueenCheck::Arbitrary(:elements_of_names).should eq(named)
+  end
+end

data/spec/queencheck/integer_spec.rb

@@ -0,0 +1,11 @@
+describe Integer do
+  it ".arbitrary" do
+    100.times do 
+      Integer.arbitrary(0).should be_zero
+    end
+
+    100.times do |n|
+      n = n / 100.0
+    end
+  end
+end

data/spec/spec_helper.rb

@@ -0,0 +1,12 @@
+require 'rubygems'
+require 'spork'
+require 'rspec'
+
+Spork.prefork do
+  config(:before) do
+    @lib_path = Pathname.new(File.expand_path('../../lib/', __FILE__))
+  end
+end
+
+Spork.each_run do
+end

metadata

@@ -0,0 +1,169 @@
+--- !ruby/object:Gem::Specification
+name: queencheck
+version: !ruby/object:Gem::Version
+  version: 0.0.0
+  prerelease: 
+platform: ruby
+authors:
+- Sho Kusano
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2012-01-22 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: jeweler
+  requirement: &70273802055380 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: *70273802055380
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: &70273802054200 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: *70273802054200
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: &70273802069140 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - =
+      - !ruby/object:Gem::Version
+        version: 2.8.0
+  type: :development
+  prerelease: false
+  version_requirements: *70273802069140
+- !ruby/object:Gem::Dependency
+  name: guard-rspec
+  requirement: &70273802068260 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - =
+      - !ruby/object:Gem::Version
+        version: 0.6.0
+  type: :development
+  prerelease: false
+  version_requirements: *70273802068260
+- !ruby/object:Gem::Dependency
+  name: growl
+  requirement: &70273802067680 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - =
+      - !ruby/object:Gem::Version
+        version: 1.0.3
+  type: :development
+  prerelease: false
+  version_requirements: *70273802067680
+- !ruby/object:Gem::Dependency
+  name: spork
+  requirement: &70273802067040 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - =
+      - !ruby/object:Gem::Version
+        version: 0.9.0.rc9
+  type: :development
+  prerelease: false
+  version_requirements: *70273802067040
+- !ruby/object:Gem::Dependency
+  name: guard-spork
+  requirement: &70273802066300 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - =
+      - !ruby/object:Gem::Version
+        version: 0.5.1
+  type: :development
+  prerelease: false
+  version_requirements: *70273802066300
+- !ruby/object:Gem::Dependency
+  name: rb-fsevent
+  requirement: &70273802065700 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - =
+      - !ruby/object:Gem::Version
+        version: 0.4.3.1
+  type: :development
+  prerelease: false
+  version_requirements: *70273802065700
+- !ruby/object:Gem::Dependency
+  name: fuubar
+  requirement: &70273802065100 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 0.0.6
+  type: :development
+  prerelease: false
+  version_requirements: *70273802065100
+description: QueenCheck is random test library. Inspired by QuickCheck library in
+  Haskell.
+email: rosylilly@aduca.org
+executables: []
+extensions: []
+extra_rdoc_files:
+- README.markdown
+files:
+- .rspec
+- .rvmrc
+- .travis.yml
+- Gemfile
+- Guardfile
+- README.markdown
+- Rakefile
+- VERSION
+- lib/queencheck.rb
+- lib/queencheck/arbitrary.rb
+- lib/queencheck/array.rb
+- lib/queencheck/boolean.rb
+- lib/queencheck/config.rb
+- lib/queencheck/core.rb
+- lib/queencheck/elements_of.rb
+- lib/queencheck/float.rb
+- lib/queencheck/integer.rb
+- lib/queencheck/string.rb
+- queencheck.gemspec
+- spec/queencheck/arbitrary_spec.rb
+- spec/queencheck/core_spec.rb
+- spec/queencheck/elements_of_spec.rb
+- spec/queencheck/integer_spec.rb
+- spec/spec_helper.rb
+homepage: https://github.com/rosylilly/QueenCheck
+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.10
+signing_key: 
+specification_version: 3
+summary: like haskell's QuickCheck
+test_files: []