minitest-proptest 0.2.1 → 0.4.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 61aa3a3421a7b1996cf35540600199e11d18bbf5959d96866f994be97f372bcf
-  data.tar.gz: f89adae15e67f595c56f274d034b18e3e325fe097865ef60f42a7d49f7509214
+  metadata.gz: 902a119e57c8158fe97d384c65cd988a396b1204689f68c0cdd88d88629ee8dc
+  data.tar.gz: 1e371e1ce98f872cda67ede73aa5f967685e1d29a3801bf115ee97f2e04829e4
 SHA512:
-  metadata.gz: 6c114584acb4f0d59d93958c65e665a5acde52dce3083f1a1343e8cc85962ec11f4e8e582821bf86002cb2e02cfe45d255fe653450944fdc573112168a734520
-  data.tar.gz: 4f23345243cb106aa1fca9e4d9a4c87c6c20e22407e2564990de246cb81c95f96a2e8138a3991121ab24a2b2bfa9bf5066a7cdc3b639f0880d6e1170bd214652
+  metadata.gz: 92c48c115151d03833c649a76441ef6a1be44a101ad0a8c58da77350eafdb3940fe5f78d54c104a6d200b1ebf23a0716c9b13f43dda3b285c1bc7c82c7e6546b
+  data.tar.gz: c59e61044807c0c3769c6d9769d9764415a408f4191c8b04b22af59919df73a059bd9ea93536b2ab1cc44cb032bad6ded596f624b10679f4fb047275813ffa2e

data/lib/minitest/proptest/gen/value_generator.rb

@@ -8,13 +8,13 @@ module Minitest
         attr_accessor :entropy
         attr_writer :type_parameters
 
-        def self.with_shrink_function(&f)
-          define_method(:shrink_function, &f)
+        def self.with_shrink_function(&)
+          define_method(:shrink_function, &)
           self
         end
 
-        def self.with_score_function(&f)
-          define_method(:score_function, &f)
+        def self.with_score_function(&)
+          define_method(:score_function, &)
           self
         end
 
@@ -98,7 +98,11 @@ module Minitest
         def shrink_candidates
           fs = @type_parameters.map { |x| x.method(:shrink_function) }
           os = score
-          candidates = shrink_function(*fs, value)
+          # Ensure that the end of the shrink attempt will contain the original
+          # value.  This is necessary to guarantee that the shrink process
+          # produces at least one failure for the purpose of capturing variable
+          # assignment.
+          candidates = shrink_function(*fs, value) + [value]
           candidates
             .map    { |c| [force(c).score, c] }
             .reject { |(s, _)| s > os }

data/lib/minitest/proptest/gen.rb

@@ -39,7 +39,7 @@ module Minitest
         end
       end
 
-      def self.generator_for(klass, &f)
+      def self.generator_for(klass, &)
         new_class = Class.new(ValueGenerator)
         new_class.define_method(:initialize) do |g|
           @entropy         = ->(b = MAX_SIZE) { (@generated << g.rand(b)).last }
@@ -50,7 +50,7 @@ module Minitest
           @type_parameters = []
         end
 
-        new_class.define_method(:generator, &f)
+        new_class.define_method(:generator, &)
 
         instance_variable_get(:@_generators)[klass] = new_class
         self.const_set("#{klass.name}Gen".split('::').last, new_class)
@@ -184,7 +184,7 @@ module Minitest
         elsif xs2.empty?
           [[]]
         else
-          [xs2] + list_remove.call(k, (n - k), xs2).map { |ys| xs1 + ys }
+          [xs2] + list_remove.call(k, n - k, xs2).map { |ys| xs1 + ys }
         end
       end
 
@@ -224,7 +224,7 @@ module Minitest
         else
           h1 = xs1.reduce({}) { |c, e| c.merge({ e => h[e] }) }
           h2 = xs2.reduce({}) { |c, e| c.merge({ e => h[e] }) }
-          [h1, h2] + list_remove.call(k, (n - k), h2).map { |ys| h1.merge(ys.to_h) }
+          [h1, h2] + list_remove.call(k, n - k, h2).map { |ys| h1.merge(ys.to_h) }
         end
       end
 
@@ -271,13 +271,13 @@ module Minitest
       # random values to shrink towards 0.
       generator_for(Integer) do
         r = sized(MAX_SIZE)
-        if (r & SIGN_BIT).zero?
+        if r.nobits?(SIGN_BIT)
           r
         else
           -(((r & (MAX_SIZE ^ SIGN_BIT)) - 1) ^ (MAX_SIZE ^ SIGN_BIT))
         end
       end.with_shrink_function do |i|
-        j = if (i & SIGN_BIT).zero?
+        j = if i.nobits?(SIGN_BIT)
               i
             else
               -(((i & (MAX_SIZE ^ SIGN_BIT)) - 1) ^ (MAX_SIZE ^ SIGN_BIT))
@@ -287,47 +287,27 @@ module Minitest
 
       generator_for(Int8) do
         r = sized(0xff)
-        (r & 0x80).zero? ? r : -(((r & 0x7f) - 1) ^ 0x7f)
-      end.with_shrink_function do |i|
-        j = (i & 0x80).zero? ? i : -(((i & 0x7f) - 1) ^ 0x7f)
-        integral_shrink.call(j)
-      end
+        r.nobits?(0x80) ? r : -((r ^ 0x7f) - 0x7f)
+      end.with_shrink_function(&integral_shrink)
 
       generator_for(Int16) do
         r = sized(0xffff)
-        (r & 0x8000).zero? ? r : -(((r & 0x7fff) - 1) ^ 0x7fff)
-      end.with_shrink_function do |i|
-        j = (i & 0x8000).zero? ? i : -(((i & 0x7fff) - 1) ^ 0x7fff)
-        integral_shrink.call(j)
-      end
+        r.nobits?(0x8000) ? r : -((r ^ 0x7fff) - 0x7fff)
+      end.with_shrink_function(&integral_shrink)
 
       generator_for(Int32) do
         r = sized(0xffffffff)
-        (r & 0x80000000).zero? ? r : -(((r & 0x7fffffff) - 1) ^ 0x7fffffff)
-      end.with_shrink_function do |i|
-        j = if (i & 0x80000000).zero?
-              i
-            else
-              -(((i & 0x7fffffff) - 1) ^ 0x7fffffff)
-            end
-        integral_shrink.call(j)
-      end
+        r.nobits?(0x80000000) ? r : -((r ^ 0x7fffffff) - 0x7fffffff)
+      end.with_shrink_function(&integral_shrink)
 
       generator_for(Int64) do
         r = sized(0xffffffffffffffff)
-        if (r & 0x8000000000000000).zero?
+        if r.nobits?(0x8000000000000000)
           r
         else
-          -(((r & 0x7fffffffffffffff) - 1) ^ 0x7fffffffffffffff)
+          -((r ^ 0x7fffffffffffffff) - 0x7fffffffffffffff)
         end
-      end.with_shrink_function do |i|
-        j = if (i & 0x8000000000000000).zero?
-              i
-            else
-              -(((i & 0x7fffffffffffffff) - 1) ^ 0x7fffffffffffffff)
-            end
-        integral_shrink.call(j)
-      end
+      end.with_shrink_function(&integral_shrink)
 
       generator_for(UInt8) do
         sized(0xff)
@@ -458,7 +438,7 @@ module Minitest
       generator_for(Rational) do
         n = sized(MAX_SIZE)
         d = sized(MAX_SIZE - 1) + 1
-        if (n & SIGN_BIT).zero?
+        if n.nobits?(SIGN_BIT)
           Rational(n, d)
         else
           Rational(-(((n & (MAX_SIZE ^ SIGN_BIT)) - 1) ^ (MAX_SIZE ^ SIGN_BIT)), d)
@@ -471,6 +451,15 @@ module Minitest
       end.with_score_function do |_|
         1
       end
+
+      generator_for(Time) do
+        r = sized(0xffffffff)
+        Time.at(r.nobits?(0x80000000) ? r : -((r ^ 0x7fffffff) - 0x7fffffff))
+      end.with_shrink_function do |t|
+        integral_shrink.call(t.to_i).map(&Time.method(:at))
+      end.with_score_function do |t|
+        t.to_i.abs
+      end
     end
   end
 end

data/lib/minitest/proptest/property.rb

@@ -7,6 +7,8 @@ module Minitest
       require 'minitest/assertions'
       include Minitest::Assertions
 
+      class InvalidProperty < StandardError; end
+
       attr_reader :calls, :result, :status, :trivial
 
       attr_accessor :assertions
@@ -47,7 +49,6 @@ module Minitest
         @max_shrinks       = max_shrinks
         @status            = Status.unknown
         @trivial           = false
-        @valid_test_case   = true
         @result            = nil
         @exception         = nil
         @calls             = 0
@@ -82,7 +83,7 @@ module Minitest
                elsif @status.interesting?
                  info = 'A counterexample to a property has been found after ' \
                         "#{@valid_test_cases} valid " \
-                        "example#{@valid_test_cases == 1 ? '' : 's'}.\n"
+                        "example#{'s' if @valid_test_cases != 1}.\n"
                  var_info = if @local_variables.empty?
                               'Variables local to the property were unable ' \
                                 'to be determined.  This is usually a bug.'
@@ -126,40 +127,35 @@ module Minitest
       end
 
       def where(&b)
-        @valid_test_case &= b.call
+        raise InvalidProperty unless b.call
       end
 
       def iterate!
         while continue_iterate? && @result.nil? && @valid_test_cases <= @max_success
-          @valid_test_case = true
           @generated = []
           @generator = ::Minitest::Proptest::Gen.new(@random)
           @calls += 1
 
-          success = begin
-                      instance_eval(&@test_proc)
-                    rescue Minitest::Assertion
-                      if @valid_test_case
-                        @result = @generated
-                        @status = Status.interesting
-                      end
-                    rescue => e
-                      raise e if @valid_test_case
-                    end
-          if @valid_test_case && success
-            @status = Status.valid if @status.unknown?
-            @valid_test_cases += 1
-          elsif @valid_test_case
+          begin
+            if instance_eval(&@test_proc)
+              @status = Status.valid if @status.unknown?
+              @valid_test_cases += 1
+            else
+              @result = @generated
+              @status = Status.interesting
+            end
+          rescue Minitest::Assertion
             @result = @generated
             @status = Status.interesting
+          rescue InvalidProperty
+          rescue => e
+            @status = Status.invalid
+            @exception = e
           end
 
           @status = Status.exhausted if @calls >= @max_success * (@max_discard_ratio + 1)
           @trivial = true if @generated.empty?
         end
-      rescue => e
-        @status = Status.invalid
-        @exception = e
       end
 
       def rerun!
@@ -181,22 +177,22 @@ module Minitest
         end
 
         @generator = ::Minitest::Proptest::Gen.new(@random)
-        success = begin
-                    instance_eval(&@test_proc)
-                  rescue Minitest::Assertion
-                    !@valid_test_case
-                  rescue => e
-                    if @valid_test_case
-                      @status = Status.invalid
-                      @exception = e
-                      false
-                    end
-                  end
-        if success || !@valid_test_case
-          @generated = []
-        elsif @valid_test_case
+        begin
+          if instance_eval(&@test_proc)
+            @generated = []
+          else
+            @result = @generated
+            @status = Status.interesting
+          end
+        rescue Minitest::Assertion
           @result = @generated
           @status = Status.interesting
+        rescue InvalidProperty
+          @generated = []
+        rescue => e
+          @result = @generated
+          @status = Status.invalid
+          @exception = e
         end
 
         # Clean up after we're done
@@ -215,6 +211,12 @@ module Minitest
         candidates     = @generated.map(&:shrink_candidates)
         old_arbitrary  = @arbitrary
 
+        # Using a TracePoint to determine variable assignments at the time of
+        # the failure only occurs within shrink! - this is a deliberate decision
+        # which eliminates all time lost in iterate! to optimize for the success
+        # case.  The tradeoff is that if all shrinking fails, one additional
+        # cycle (with the values which produced the original failure) will be
+        # required.
         local_variables = {}
         tracepoint = TracePoint.new(:b_return) do |trace|
           if trace.path == @filename && trace.method_id.to_s == @methodname
@@ -249,27 +251,28 @@ module Minitest
           @valid_test_case = true
 
           @generator = ::Minitest::Proptest::Gen.new(@random)
-          if to_test[run[:run]].map(&:first).reduce(&:+) < best_score
-            success = begin
-                        tracepoint.enable
-                        instance_eval(&@test_proc)
-                      rescue Minitest::Assertion
-                        false
-                      rescue => e
-                        next unless @valid_test_case
-
-                        @status = Status.invalid
-                        @excption = e
-                        break
-                      ensure
-                        tracepoint.disable
-                      end
-
-            if !success && @valid_test_case
-              # The first hit is guaranteed to be the best scoring since the
-              # shrink candidates are pre-sorted.
+          if to_test[run[:run]].map(&:first).reduce(&:+) <= best_score
+            begin
+              tracepoint.enable
+              unless instance_eval(&@test_proc)
+                # The first hit is guaranteed to be the best scoring since the
+                # shrink candidates are pre-sorted.
+                best_generated = @generated
+                break
+              end
+            rescue Minitest::Assertion
               best_generated = @generated
               break
+            rescue InvalidProperty
+              # Invalid test case generated- continue
+            rescue => e
+              next unless @valid_test_case
+
+              @status = Status.invalid
+              @excption = e
+              break
+            ensure
+              tracepoint.disable
             end
           end
 

data/lib/minitest/proptest/version.rb

@@ -2,6 +2,6 @@
 
 module Minitest
   module Proptest
-    VERSION = '0.2.1'
+    VERSION = '0.4.0'
   end
 end

data/lib/minitest/proptest.rb

@@ -149,8 +149,8 @@ module Minitest
 end
 
 module Kernel
-  def generator_for(klass, &f)
-    ::Minitest::Proptest::Gen.generator_for(klass, &f)
+  def generator_for(klass, &)
+    ::Minitest::Proptest::Gen.generator_for(klass, &)
   end
   private :generator_for
 end

metadata

@@ -1,29 +1,35 @@
 --- !ruby/object:Gem::Specification
 name: minitest-proptest
 version: !ruby/object:Gem::Version
-  version: 0.2.1
+  version: 0.4.0
 platform: ruby
 authors:
 - Tina Wuest
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2024-09-08 00:00:00.000000000 Z
+date: 2025-12-28 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: minitest
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
         version: '5'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '7'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
         version: '5'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '7'
 description: Property testing in Minitest, a la Haskell's QuickCheck and Python's
   Hypothesis
 email: tina@wuest.me
@@ -54,14 +60,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: 2.7.0
+      version: 3.2.0
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.5.3
+rubygems_version: 3.4.19
 signing_key:
 specification_version: 4
 summary: Property testing in Minitest