theft 0.0.1.placeholder → 0.0.1

checksums.yaml

@@ -1,7 +1,15 @@
 ---
-SHA1:
-  metadata.gz: d9754d686554bf448a4a1bd0c2a627297f02bd1f
-  data.tar.gz: e194b2fdad009fc005565298b57160aa1a7ba6eb
+!binary "U0hBMQ==":
+  metadata.gz: !binary |-
+    YjBiNDUwODExOTFjYjM4NzVhYmRjZGM2OWFjNmVlOTE5NGU4YzM1Zg==
+  data.tar.gz: !binary |-
+    YzRmM2UyZmJkNWUwOTUxZmQwYzY2MzM2OTA1NTZlNjNlNTQ2NDU3YQ==
 SHA512:
-  metadata.gz: f65798710c7982acc15c63ad5180f9b5c08ed63810cd4891595bef598700489bd51cc08e52f388abc709d47e3fdde12f99a5a879f42550f9ab3b1c0ef937ad65
-  data.tar.gz: 45c6d36f65e56246d59bfb595000373ea9ce5eb43b01469c8066854ad939d51432157ecfe0790baaceb89f16d8c1350685cd974a9a92d73d44639697bebd78d0
+  metadata.gz: !binary |-
+    NTY0NDg0N2I5ZGRjYTIwYjc1OWJiN2QzMzhiYmUzZjhlYmZkNWQ5MmYyODY0
+    ZTMyMDQ1ODczN2U5Zjk1ZjE3MDJkOGRmOTg1MGI1M2I1ZTk3ZjMzZGMyYWY3
+    YTNiNzVlZDUyYWIxMmUwZDQ0OWE2YjBkYjFkZDNlMjk3MjU4ZGY=
+  data.tar.gz: !binary |-
+    NTcxMGM5NzU4Y2NiNTdjODhmZGUwNzVkZTdlOTg1MjEzYTFhMjBiZTY4Njlh
+    YzJjMjY0NDFjMWIxODdjYTlmZjFjY2UzNTJhNWIzYmE0NjQ1ODkzNjFlNDgy
+    MTA5NGE1YzRhMzg2YjZmNTAzMGE3MmNjMGU3ZmFmNmU5MTE3Mzg=

data/examples/stable_sort.rb

@@ -0,0 +1,116 @@
+require 'digest'
+require_relative '../lib/theft'
+
+class BoxedFixNum
+  attr_reader :n
+  def initialize(n)
+    @n = n
+  end
+
+  def <=>(other)
+    @n <=> other.n
+  end
+end
+
+class BoxedFixNumArgDescriptor
+  class << self
+    def setup(rng, args={})
+      [].tap do |ar|
+        rng.rand(0..100).times do |i|
+          ar << b(rng.rand(0..100))
+        end
+      end
+    end
+
+    def teardown(list)
+      # do stuff
+    end
+
+    def hash(list)
+      Digest::MD5.new.digest to_s(list)
+    end
+
+    def to_s(list)
+      "[#{list.size}] " + list.map(&:n).map(&:to_s).join(",")
+    end
+
+    def shrink(list, tactic)
+      size = list.size
+      if size < 2
+        puts "#shrink .. dead end"
+        return :dead_end 
+      end
+      case tactic
+      when 0
+        return list[0..size/2]
+      when 1
+        return list[size/2..-1]
+      when 2
+        return list[1..-1]
+      when 3
+        return list[0..-2]
+      when 4
+        mid = size/2
+        return list[0..mid-1] + list[mid+1..-1]
+      end
+
+      return :tried_all_tactics
+    end
+
+    def b(n)
+      BoxedFixNum.new n
+    end
+  end
+end
+
+class Sorter
+  def self.sort(items)
+    unstable items
+    # stable items
+  end
+
+  def self.stable(items)
+    items.sort_by.with_index { |x, idx| [x, idx] }
+  end
+
+  def self.unstable(items)
+    items.sort
+  end
+end
+
+if $0 == __FILE__
+  t = Theft::Runner.new autosize: true
+
+  property_sorting_should_be_stable = lambda do |generated_arg| # , other_generated_arg, etc 
+    sorted = Sorter.sort(generated_arg)
+
+    sorted.chunk{|item| item.n}.each do |n, items|
+      if items.size > 1
+        # lazily spot check
+        first = items.first
+        last = items.last
+
+        if generated_arg.index(first) > generated_arg.index(last)
+          return :fail unless sorted.index(first) > sorted.index(last)
+        else
+          return :fail unless sorted.index(first) < sorted.index(last)
+        end
+      end
+    end
+
+    :pass
+  end
+
+  config = {
+    description: "sorting should be stable",
+    property: property_sorting_should_be_stable,
+    arg_descriptors: [BoxedFixNumArgDescriptor],
+    trials: 3,
+    # must_have_seeds: [],
+  #  seed: 1408486348,
+    progress: lambda{|trial_num, args, status| STDOUT.write '.' if trial_num % 2 == 0 },
+    env: :whatevs
+  }
+
+  t.run config
+end

data/lib/theft.rb

@@ -1,5 +1,93 @@
-require "theft/version"
+require_relative "theft/version"
+require 'set'
 
 module Theft
-  # Your code goes here...
+  class Runner
+    def initialize(args={})
+      @auto_size = args.has_key?(:auto_size) ? args[:auto_size] : true
+      @evaluated_inputs = Set.new
+    end
+
+    def run(config)
+      @seed = config[:seed] || Time.now.to_i
+      @rng = Random.new(@seed)
+      puts "seed: #{@seed}"
+
+      @trials = config[:trials] || 100
+
+      property = config[:property]
+
+      fails = 0
+      passes = 0
+      @trials.times do |trial_num|
+        @descriptors = config[:arg_descriptors]
+        args = @descriptors.map do |desc|
+          desc.setup(@rng, config[:env])
+        end
+
+        unless has_been_tried?(@descriptors, args)
+          result = property.call(*args)
+
+          case result
+          when :fail
+            fails += 1
+
+            args = try_to_shrink(args, property)
+
+            puts "failed on trial: #{trial_num}"
+            @descriptors.each.with_index do |desc, i|
+              puts desc.to_s(args[i])
+            end
+          when :pass
+            passes += 1
+          end
+
+          config[:progress].call(trial_num, args, :passing_for_now)
+        end
+      end
+
+      puts
+      puts "FAILS: #{fails}"
+      puts "PASSES: #{passes}"
+    end
+
+    def try_to_shrink(args, property)
+
+      @descriptors.each.with_index do |desc, i|
+        tactic_counter = 0
+
+        shrink_result = desc.shrink(args[i], tactic_counter) 
+        while shrink_result != :tried_all_tactics
+          #puts desc.to_s(args[i])
+          if shrink_result == :dead_end
+            tactic_counter += 1
+          else
+            copy_args = args.dup
+            copy_args[i] = shrink_result
+            result = property.call(*copy_args)
+            if result == :fail
+              args[i] = shrink_result 
+            else
+              tactic_counter += 1
+            end
+          end
+          shrink_result = desc.shrink(args[i], tactic_counter) 
+        end
+      end
+
+      args
+    end
+
+    def has_been_tried?(descriptors, args)
+      @evaluated_inputs.include? hash_inputs(descriptors, args)
+    end
+
+    def hash_inputs(descriptors, args)
+      hashes = descriptors.map.with_index do |desc, i|
+        desc.hash(args[i])
+      end
+      hash = Digest::MD5.new.digest hashes.join(",")
+      @evaluated_inputs << hash
+    end
+  end
 end

data/lib/theft/version.rb

@@ -1,3 +1,3 @@
 module Theft
-  VERSION = "0.0.1.placeholder"
+  VERSION = "0.0.1"
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: theft
 version: !ruby/object:Gem::Version
-  version: 0.0.1.placeholder
+  version: 0.0.1
 platform: ruby
 authors:
 - Scott Vokes
@@ -9,7 +9,7 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2014-08-04 00:00:00.000000000 Z
+date: 2014-09-02 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -29,14 +29,14 @@ dependencies:
   name: rake
   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: Ruby port of the theft C library.
@@ -52,6 +52,7 @@ files:
 - LICENSE.txt
 - README.md
 - Rakefile
+- examples/stable_sort.rb
 - lib/theft.rb
 - lib/theft/version.rb
 - theft.gemspec
@@ -65,14 +66,14 @@ require_paths:
 - lib
 required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
-  - - '>='
+  - - ! '>='
     - !ruby/object:Gem::Version
       version: '0'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
-  - - '>'
+  - - ! '>='
     - !ruby/object:Gem::Version
-      version: 1.3.1
+      version: '0'
 requirements: []
 rubyforge_project: 
 rubygems_version: 2.2.2