pbt 0.4.2 → 0.5.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 129484c73e5be7741c4bbf70c2ab374a0e48f28926c3cd4b6b3ca004c1037b98
-  data.tar.gz: 83ec64585e4b33bfad802b262784b0507f341621764099279af3f6faeda273fa
+  metadata.gz: f0585c0152a9703256b3265830dd9105b33ebc65877555517af3ad643a6b8839
+  data.tar.gz: ac62f147919ac2e68642d70d9e0bb9d2c8010ef54b2aefc4d6c679fe1b9d7197
 SHA512:
-  metadata.gz: 3c61fa019e0aff56404f4c3346b039615c368e175e98407f118be9ef55060e61f4ebacbd6cec79b5e0834cfec2550fdbdf6952be47eeacb1437455f5fd54dd5b
-  data.tar.gz: 209b104767846e73d8db2b94d0b4c9e2e9528c695e9d4cb766d6845de7e8c1556e523b172461c693c77e6deea3f0a764dd51c8e2a17611a2914760146e399bcc
+  metadata.gz: 54535a35fa3097b1fe3f4893f83ef9c646598b385c9d4c32f3eb2686aab3727ca22154a87edef748f94090682acee6f7090ecb4d51233e66e861b30bd20df0d3
+  data.tar.gz: e8126c1c5f1b044d83f66b6d0a734783d2843f16f0b24f9a1172797e5b144a630a26c642bfc606f57de9911935f1b25ff0c1d8af48ef92486680c80e264308b0

data/CHANGELOG.md

@@ -1,9 +1,18 @@
 ## [Unreleased]
 
+## [0.5.1] - 2025-06-29
+
+- Fix `IntegerArbitrary#shrink` to respect min/max bounds [#36](https://github.com/ohbarye/pbt/pull/36)
+
+## [0.5.0] - 2024-12-30
+
+- [Breaking change] Drop `:process` and `:thread` workers since there are no concrete use cases.
+- [Breaking change] Drop `:experimental_ractor_rspec_integration` option since there are no concrete use cases.
+
 ## [0.4.2] - 2024-05-23
 
 - Fix Prism `LoadError` message [#27](https://github.com/ohbarye/pbt/pull/27) by @sambostock
- 
+
 ## [0.4.1] - 2024-05-10
 
 - Fix a bug for experimental_ractor_rspec_integration mode. When a test file name starts with a number, it can't be a constant name.
@@ -23,7 +32,7 @@
 ## [0.2.0] - 2024-04-17
 
 - Add verbose mode. It's useful to debug the test case.
- 
+
 ## [0.1.1] - 2024-04-14
 
 - Change default worker from `:ractor` to `:none`
@@ -34,15 +43,15 @@
 - Implement composite arbitraries
 - Support shrinking
 - Support multiple concurrency methods
-    - Ractor
-    - Process
-    - Thread
-    - None (Run tests sequentially)
+  - Ractor
+  - Process
+  - Thread
+  - None (Run tests sequentially)
 - Documentation
-    - Add better examples
-    - Arbitrary usage
-    - Configuration
- 
+  - Add better examples
+  - Arbitrary usage
+  - Configuration
+
 ## [0.0.1] - 2024-01-27
 
 - Initial release (Proof of concept)

data/README.md

@@ -51,7 +51,7 @@ end
 
 Pbt.assert do
   # The given block is executed 100 times with different arrays with random numbers.
-  # Besides, the block runs in parallel by Ractor.
+  # Besides, if you set `worker: :ractor` option to `assert` method, it runs in parallel using Ractor.
   Pbt.property(Pbt.array(Pbt.integer)) do |numbers|
     result = sort(numbers)
     result.each_cons(2) do |x, y|
@@ -218,7 +218,7 @@ Pbt.configure do |config|
   # Whether to print verbose output. Default is `false`.
   config.verbose = false
 
-  # The concurrency method to use. `:ractor`, `:thread`, `:process` and `:none` are supported. Default is `:none`.
+  # The concurrency method to use. `:ractor` and `:none` are supported. Default is `:none`.
   config.worker = :none
 
   # The number of runs to perform. Default is `100`.
@@ -231,9 +231,6 @@ Pbt.configure do |config|
   # Whether to report exceptions in threads.
   # It's useful to suppress error logs on Ractor that reports many errors. Default is `false`.
   config.thread_report_on_exception = false
-
-  # Whether to allow RSpec expectation and matchers in Ractor. It's quite experimental! Default is `false`.
-  config.experimental_ractor_rspec_integration = false
 end
 ```
 
@@ -249,15 +246,13 @@ end
 
 One of the key features of `Pbt` is its ability to rapidly execute test cases in parallel or concurrently, using a large number of values (by default, `100`) generated by `Arbitrary`.
 
-For concurrent processing, you can specify any of the three workers—`:ractor`, `:process`, or `:thread`—using the `worker` option. Alternatively, choose `:none` for serial execution.
-
-`Pbt` supports 3 concurrency methods and 1 sequential one. You can choose one of them by setting the `worker` option.
+For concurrent processing, you can specify `:ractor` using the `worker` option. Alternatively, choose `:none` for serial execution.
 
 Be aware that the performance of each method depends on the test subject. For example, if the test subject is CPU-bound, `:ractor` may be the best choice. Otherwise, `:none` shall be the best choice for most cases. See [benchmarks](benchmark/README.md).
 
 ### Ractor
 
-`:ractor` worker is useful for test cases that are CPU-bound. But it's experimental and has some limitations as described below. If you encounter any issues due to those limitations, consider using `:process` as workers whose benchmark is the most similar to `:ractor`.
+`:ractor` worker is useful for test cases that are CPU-bound. But it's experimental and has some limitations as described below. If you encounter any issues due to those limitations, consider falling back to `:none`.
 
 ```ruby
 Pbt.assert(worker: :ractor) do
@@ -297,53 +292,9 @@ it do
 end
 ```
 
-If you're a challenger, you can enable the experimental feature to allow using RSpec expectations and matchers in Ractor. It works but it's quite experimental and could cause unexpected behaviors.
-
-Please note that this feature depends on [prism](https://ruby.github.io/prism/) gem. If you use Ruby 3.2 or prior, you need to install the gem by yourself.
-
-```ruby
-it do
-  Pbt.assert(worker: :ractor, experimental_ractor_rspec_integration: true) do
-    Pbt.property(Pbt.integer) do |n|
-      # Some RSpec expectations and matchers are available in Ractor by hack.
-      # Other features like `let`, `subject`, `before`, `after` that access out of block are still not available.
-      expect(n).to be_an(Integer)
-    end
-  end
-end
-```
-
-### Process
-
-If you'd like to run test cases that are CPU-bound and `:ractor` is not available, `:process` becomes a good choice.
-
-```ruby
-Pbt.assert(worker: :process) do
-  Pbt.property(Pbt.integer) do |n|
-    # ...
-  end
-end
-```
-
-If you want to use `:process`, you need to install the [parallel](https://github.com/grosser/parallel) gem.
-
-### Thread
-
-You may not need to run test cases with multi-threads.
-
-```ruby
-Pbt.assert(worker: :thread) do
-  Pbt.property(Pbt.integer) do |n|
-    # ...
-  end
-end
-```
-
-If you want to use `:thread`, you need to install the [parallel](https://github.com/grosser/parallel) gem.
-
 ### None
 
-For most cases, `:none` is the best choice. It runs tests sequentially (without parallelism) but most test cases finishes within a reasonable time.
+For most cases, `:none` is the best choice. It runs tests sequentially but most test cases finishes within a reasonable time.
 
 ```ruby
 Pbt.assert(worker: :none) do
@@ -362,8 +313,8 @@ Once this project finishes the following, we will release v1.0.0.
 - [x] Support shrinking
 - [x] Support multiple concurrency methods
   - [x] Ractor
-  - [x] Process
-  - [x] Thread
+  - [x] Process (dropped)
+  - [x] Thread (dropped)
   - [x] None (Run tests sequentially)
 - [x] Documentation
   - [x] Add better examples
@@ -371,7 +322,7 @@ Once this project finishes the following, we will release v1.0.0.
   - [x] Configuration
 - [x] Benchmark
 - [x] Rich report by verbose mode
-- [x] (Partially) Allow to use expectations and matchers provided by test framework in Ractor if possible.
+- [x] (Partially) Allow to use expectations and matchers provided by test framework in Ractor. (dropped)
   - It'd be so hard to pass assertions like `expect`, `assert` to a Ractor.
 - [ ] Implement frequency arbitrary
 - [ ] Statistics feature to aggregate generated values

data/benchmark/failure_simple.rb

@@ -17,26 +17,6 @@ Benchmark.ips do |x|
     # noop
   end
 
-  x.report("process") do
-    Pbt.assert(worker: :process, seed:, num_runs: 100) do
-      Pbt.property(Pbt.integer) do |x|
-        task(x)
-      end
-    end
-  rescue Pbt::PropertyFailure
-    # noop
-  end
-
-  x.report("thread") do
-    Pbt.assert(worker: :thread, seed:, num_runs: 100) do
-      Pbt.property(Pbt.integer) do |x|
-        task(x)
-      end
-    end
-  rescue Pbt::PropertyFailure
-    # noop
-  end
-
   x.report("none") do
     Pbt.assert(worker: :none, seed:, num_runs: 100) do
       Pbt.property(Pbt.integer) do |x|

data/benchmark/success_cpu_bound.rb

@@ -25,22 +25,6 @@ Benchmark.ips do |x|
     end
   end
 
-  x.report("process") do
-    Pbt.assert(worker: :process, num_runs: 100) do
-      Pbt.property(Pbt.constant([a, b, c])) do |x, y, z|
-        task(x, y, z)
-      end
-    end
-  end
-
-  x.report("thread") do
-    Pbt.assert(worker: :thread, num_runs: 100) do
-      Pbt.property(Pbt.constant([a, b, c])) do |x, y, z|
-        task(x, y, z)
-      end
-    end
-  end
-
   x.report("none") do
     Pbt.assert(worker: :none, num_runs: 100) do
       Pbt.property(Pbt.constant([a, b, c])) do |x, y, z|

data/benchmark/success_io_bound.rb

@@ -18,22 +18,6 @@ Benchmark.ips do |x|
     end
   end
 
-  x.report("process") do
-    Pbt.assert(worker: :process, seed:, num_runs: 100) do
-      Pbt.property(Pbt.ascii_string) do |str|
-        task(str)
-      end
-    end
-  end
-
-  x.report("thread") do
-    Pbt.assert(worker: :thread, seed:, num_runs: 100) do
-      Pbt.property(Pbt.ascii_string) do |str|
-        task(str)
-      end
-    end
-  end
-
   x.report("none") do
     Pbt.assert(worker: :none, seed:, num_runs: 100) do
       Pbt.property(Pbt.ascii_string) do |str|

data/benchmark/success_simple.rb

@@ -14,22 +14,6 @@ Benchmark.ips do |x|
     end
   end
 
-  x.report("process") do
-    Pbt.assert(worker: :process, seed:, num_runs: 100) do
-      Pbt.property(Pbt.integer) do |x|
-        task(x)
-      end
-    end
-  end
-
-  x.report("thread") do
-    Pbt.assert(worker: :thread, seed:, num_runs: 100) do
-      Pbt.property(Pbt.integer) do |x|
-        task(x)
-      end
-    end
-  end
-
   x.report("none") do
     Pbt.assert(worker: :none, seed:, num_runs: 100) do
       Pbt.property(Pbt.integer) do |x|

data/lib/pbt/arbitrary/arbitrary_methods.rb

@@ -92,7 +92,7 @@ module Pbt
         one_of(*HEXA_CHARS)
       end
 
-      # For lowercase hexadecimal stings.
+      # For lowercase hexadecimal strings.
       #
       # @see Pbt.array
       # @param kwargs [Hash] Options for ArrayArbitrary. See `.array` for more information.

data/lib/pbt/arbitrary/integer_arbitrary.rb

@@ -20,7 +20,13 @@ module Pbt
       end
 
       # @see Arbitrary#shrink
-      def shrink(current, target: DEFAULT_TARGET)
+      def shrink(current, target: nil)
+        # If no target is specified, use the appropriate bound as target
+        target ||= DEFAULT_TARGET.clamp(@min, @max)
+
+        # Ensure target is within bounds
+        target = target.clamp(@min, @max)
+
         gap = current - target
         return Enumerator.new { |_| } if gap == 0
 
@@ -30,9 +36,14 @@ module Pbt
           while (diff = (current - target).abs) > 1
             halved = diff / 2
             current -= is_positive_gap ? halved : -halved
+            # Ensure current stays within bounds
+            current = current.clamp(@min, @max)
             y.yield current
           end
-          y.yield target # no diff here
+          # Only yield target if it's different from current
+          if current != target
+            y.yield target
+          end
         end
       end
     end

data/lib/pbt/check/configuration.rb

@@ -9,22 +9,19 @@ module Pbt
       :num_runs,
       :seed,
       :thread_report_on_exception,
-      :experimental_ractor_rspec_integration,
       keyword_init: true
     ) do
       # @param verbose [Boolean] Whether to print verbose output. Default is `false`.
-      # @param worker [Symbol] The concurrency method to use. :ractor`, `:thread`, `:process` and `:none` are supported. Default is `:none`.
+      # @param worker [Symbol] The concurrency method to use. :ractor` and `:none` are supported. Default is `:none`.
       # @param num_runs [Integer] The number of runs to perform. Default is `100`.
       # @param seed [Integer] The seed to use for random number generation. It's useful to reproduce failed test with the seed you'd pick up from failure messages. Default is a random seed.
       # @param thread_report_on_exception [Boolean] Whether to report exceptions in threads. It's useful to suppress error logs on Ractor that reports many errors. Default is `false`.
-      # @param experimental_ractor_rspec_integration [Boolean] Whether to allow RSpec expectation and matchers in Ractor. It's quite experimental! Default is `false`.
       def initialize(
         verbose: false,
         worker: :none,
         num_runs: 100,
-        seed: Random.new.seed,
-        thread_report_on_exception: false,
-        experimental_ractor_rspec_integration: false
+        seed: Random.new_seed,
+        thread_report_on_exception: false
       )
         super
       end

data/lib/pbt/check/runner_methods.rb

@@ -54,8 +54,6 @@ module Pbt
       #
       # - `:thread_report_on_exception`
       #   So many exception reports happen in Ractor and a console gets too messy. Suppress them to avoid that.
-      # - `:experimental_ractor_rspec_integration`
-      #   Allow to use Ractor with RSpec. This is an experimental feature and it's not stable.
       #
       # @param config [Hash] Configuration parameters.
       # @param property [Property]
@@ -64,21 +62,12 @@ module Pbt
         if config[:worker] == :ractor
           original_report_on_exception = Thread.report_on_exception
           Thread.report_on_exception = config[:thread_report_on_exception]
-
-          if config[:experimental_ractor_rspec_integration]
-            require "pbt/check/rspec_adapter/integration"
-            class << property
-              include Pbt::Check::RSpecAdapter::PropertyExtension
-            end
-            property.setup_rspec_integration
-          end
         end
 
         yield
       ensure
         if config[:worker] == :ractor
           Thread.report_on_exception = original_report_on_exception
-          property.teardown_rspec_integration if config[:experimental_ractor_rspec_integration]
         end
       end
 
@@ -96,10 +85,6 @@ module Pbt
             run_it_in_sequential(property, runner)
           in :ractor
             run_it_in_ractors(property, runner)
-          in :process
-            run_it_in_processes(property, runner)
-          in :thread
-            run_it_in_threads(property, runner)
           end
         end
         runner.run_execution
@@ -133,80 +118,11 @@ module Pbt
           c.ractor.take
           runner.handle_result(c)
         rescue => e
-          handle_ractor_error(e.cause, c)
+          c.exception = e.cause # Ractor error is wrapped in a Ractor::RemoteError. We need to get the cause.
           runner.handle_result(c)
           break # Ignore the rest of the cases. Just pick up the first failure.
         end
       end
-
-      def handle_ractor_error(cause, c)
-        # Ractor error is wrapped in a Ractor::RemoteError. We need to get the cause.
-        unless defined?(Pbt::Check::RSpecAdapter) && cause.is_a?(Pbt::Check::RSpecAdapter::ExpectationNotMet) # Unknown error.
-          c.exception = cause
-          return
-        end
-
-        # Convert Pbt's custom error to RSpec's error.
-        begin
-          RSpec::Expectations::ExpectationHelper.handle_failure(cause.matcher, cause.custom_message, cause.failure_message_method)
-        rescue RSpec::Expectations::ExpectationNotMetError => e # The class inherits Exception, not StandardError.
-          c.exception = e
-        end
-      end
-
-      # @param property [Property] Property to test.
-      # @param runner [RunnerIterator]
-      # @return [void]
-      def run_it_in_threads(property, runner)
-        require_parallel
-
-        Parallel.map_with_index(runner, in_threads: Parallel.processor_count) do |val, index|
-          Case.new(val:, index:).tap do |c|
-            property.run(val)
-          # Catch all exceptions including RSpec's ExpectationNotMet (It inherits Exception).
-          rescue Exception => e # standard:disable Lint/RescueException:
-            c.exception = e
-            # It's possible to break this loop here by raising `Parallel::Break`.
-            # But if it raises, we cannot fetch all cases' result. So this loop continues until the end.
-          end
-        end.each do |c|
-          runner.handle_result(c)
-          break if c.exception
-          # Ignore the rest of the cases. Just pick up the first failure.
-        end
-      end
-
-      # @param property [Property] Property to test.
-      # @param runner [RunnerIterator]
-      # @return [void]
-      def run_it_in_processes(property, runner)
-        require_parallel
-
-        Parallel.map_with_index(runner, in_processes: Parallel.processor_count) do |val, index|
-          Case.new(val:, index:).tap do |c|
-            property.run(val)
-          # Catch all exceptions including RSpec's ExpectationNotMet (It inherits Exception).
-          rescue Exception => e # standard:disable Lint/RescueException:
-            c.exception = e
-            # It's possible to break this loop here by raising `Parallel::Break`.
-            # But if it raises, we cannot fetch all cases' result. So this loop continues until the end.
-          end
-        end.each do |c|
-          runner.handle_result(c)
-          break if c.exception
-          # Ignore the rest of the cases. Just pick up the first failure.
-        end
-      end
-
-      # Load Parallel gem. If it's not installed, raise an error.
-      # @see https://github.com/grosser/parallel
-      # @raise [InvalidConfiguration]
-      def require_parallel
-        require "parallel"
-      rescue LoadError
-        raise InvalidConfiguration,
-          "Parallel gem (https://github.com/grosser/parallel) is required to use worker `:process` or `:thread`. Please add `gem 'parallel'` to your Gemfile."
-      end
     end
   end
 end

data/lib/pbt/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Pbt
-  VERSION = "0.4.2"
+  VERSION = "0.5.1"
 end

metadata

@@ -1,16 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: pbt
 version: !ruby/object:Gem::Version
-  version: 0.4.2
+  version: 0.5.1
 platform: ruby
 authors:
 - ohbarye
-autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-05-23 00:00:00.000000000 Z
+date: 1980-01-02 00:00:00.000000000 Z
 dependencies: []
-description:
 email:
 - over.rye@gmail.com
 executables: []
@@ -46,9 +44,6 @@ files:
 - lib/pbt/check/case.rb
 - lib/pbt/check/configuration.rb
 - lib/pbt/check/property.rb
-- lib/pbt/check/rspec_adapter/integration.rb
-- lib/pbt/check/rspec_adapter/predicate_block_inspector.rb
-- lib/pbt/check/rspec_adapter/property_extension.rb
 - lib/pbt/check/runner_iterator.rb
 - lib/pbt/check/runner_methods.rb
 - lib/pbt/check/tosser.rb
@@ -64,7 +59,6 @@ metadata:
   homepage_uri: https://github.com/ohbarye/pbt
   source_code_uri: https://github.com/ohbarye/pbt
   changelog_uri: https://github.com/ohbarye/pbt/releases
-post_install_message:
 rdoc_options: []
 require_paths:
 - lib
@@ -79,8 +73,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.5.9
-signing_key:
+rubygems_version: 3.6.7
 specification_version: 4
 summary: Property-Based Testing tool for Ruby, utilizing Ractor for parallelizing
   test cases.

data/lib/pbt/check/rspec_adapter/integration.rb

@@ -1,64 +0,0 @@
-# frozen_string_literal: true
-
-unless defined?(RSpec)
-  raise InvalidConfigurationError, "You configured `experimental_ractor_rspec_integration: true` but RSpec is not loaded. Please use RSpec or set the config `false`."
-end
-
-require "pbt/check/rspec_adapter/predicate_block_inspector"
-require "pbt/check/rspec_adapter/property_extension"
-
-module Pbt
-  module Check
-    # @private
-    module RSpecAdapter
-      # This custom error contains RSpec matcher and message to handle Pbt's runner.
-      # @private
-      class ExpectationNotMet < StandardError
-        attr_reader :matcher, :custom_message, :failure_message_method
-
-        def initialize(msg, matcher, custom_message, failure_message_method)
-          super(msg)
-          @matcher = matcher
-          @custom_message = custom_message
-          @failure_message_method = failure_message_method
-        end
-      end
-    end
-  end
-end
-
-# `autoload` is not allowed in Ractor but RSpec uses autoload for matchers.
-# We need to load them in advance in order to be able to use them in Ractor.
-#
-# e.g. Ractor raises... `be_a_kind_of': require by autoload on non-main Ractor is not supported (BeAKindOf) (Ractor::UnsafeError)
-RSpec::Matchers::BuiltIn.constants.each { |c| Object.const_get("RSpec::Matchers::BuiltIn::#{c}") }
-
-# TODO: preload more helpers like aggregate_failures.
-# RSpec::Expectations.constants.each { |c| Object.const_get("RSpec::Expectations::#{c}") }
-# The code above is not enough. Even if we run this code in advance, Ractor raises...
-# in `failure_notifier': can not access non-shareable objects in constant RSpec::Support::DEFAULT_FAILURE_NOTIFIER by non-main ractor. (Ractor::IsolationError)
-
-# CAUTION: This is a dirty hack! We need to override the original method to make it Ractor-safe.
-RSpec::Expectations::ExpectationHelper.singleton_class.prepend(Module.new do
-  def with_matcher(handler, matcher, message)
-    check_message(message)
-    matcher = modern_matcher_from(matcher)
-    yield matcher
-  ensure
-    # The original method is not Ractor-safe unless stopping assigning these class variables.
-    if Ractor.current == Ractor.main
-      ::RSpec::Matchers.last_expectation_handler = handler
-      ::RSpec::Matchers.last_matcher = matcher
-    end
-  end
-
-  def handle_failure(matcher, message, failure_message_method)
-    # This method is not Ractor-safe. RSpec::Support::ObjectFormatter.default_instance assigns class variables.
-    # If this method is called in non-main-Ractor, it raises a custom error and let it handle in the main Ractor.
-    if Ractor.current != Ractor.main
-      raise Pbt::Check::RSpecAdapter::ExpectationNotMet.new(nil, matcher, message, failure_message_method)
-    end
-
-    super
-  end
-end)

data/lib/pbt/check/rspec_adapter/predicate_block_inspector.rb

@@ -1,47 +0,0 @@
-# frozen_string_literal: true
-
-begin
-  # Use prism to get user-defined block code.
-  require "prism"
-rescue LoadError
-  raise InvalidConfiguration,
-    "Prism gem (https://github.com/ruby/prism) is required to use worker `:ractor` and `:experimental_ractor_rspec_integration`. Please add `gem 'prism'` to your Gemfile."
-end
-
-module Pbt
-  module Check
-    module RSpecAdapter
-      # This class is used to get user-defined block code.
-      # If a user defines code like below:
-      #
-      #   Pbt.property(Pbt.integer, Pbt.integer) do |x, y|
-      #     x > 0 && y > 0
-      #   end
-      #
-      #   inspector.method_params #=> "x, y"
-      #   inspector.method_body   #=> "x > 0 && y > 0"
-      #
-      # @private
-      # @!attribute [r] method_body
-      # @!attribute [r] method_params
-      class PredicateBlockInspector < Prism::Visitor
-        attr_reader :method_body, :method_params
-
-        def initialize(line)
-          @line = line
-          @method_body = nil
-          super()
-        end
-
-        def visit_call_node(node)
-          if node.name == :property && node.block.opening_loc.start_line == @line
-            @method_params = node.block.parameters.parameters.slice
-            @method_body = node.block.body.slice
-          end
-
-          super
-        end
-      end
-    end
-  end
-end

data/lib/pbt/check/rspec_adapter/property_extension.rb

@@ -1,74 +0,0 @@
-# frozen_string_literal: true
-
-module Pbt
-  module Check
-    module RSpecAdapter
-      # @private
-      module PropertyExtension
-        # Define an original class to be called in Ractor.
-        #
-        # @return [void]
-        def setup_rspec_integration
-          filepath, line = @predicate.source_location
-          basename = File.basename(filepath, ".rb")
-          @class_name = "Test" + basename.split("_").map(&:capitalize).join + line.to_s
-          @method_name = "predicate_#{basename}_#{line}"
-          define_ractor_callable_class
-        end
-
-        # Clean up an original class to be called in Ractor to avoid any persisted namespace pollution.
-        #
-        # @return [void]
-        def teardown_rspec_integration
-          RSpecAdapter.__send__(:remove_const, @class_name) if RSpecAdapter.const_defined?(@class_name)
-        end
-
-        # Run the predicate with the generated `val`.
-        # This overrides the original `Property#run_in_ractor`.
-        #
-        # @param val [Object]
-        # @return [Ractor]
-        def run_in_ractor(val)
-          Ractor.new(@class_name, @method_name, @predicate.parameters.size, val) do |class_name, method_name, param_size, val|
-            klass = RSpecAdapter.const_get(class_name)
-            if val.is_a?(Hash)
-              klass.new.send(method_name, **val)
-            elsif param_size >= 2
-              klass.new.send(method_name, *val)
-            else
-              klass.new.send(method_name, val)
-            end
-          end
-        end
-
-        private
-
-        # @return [void]
-        def define_ractor_callable_class
-          # The @method_name is invisible in the Class.new block, so we need to assign it to a local variable.
-          method_name = @method_name
-
-          inspector = extract_predicate_source_code
-
-          RSpecAdapter.const_set(@class_name, Class.new do
-            include ::RSpec::Matchers
-            class_eval <<-RUBY, __FILE__, __LINE__ + 1
-            def #{method_name}(#{inspector.method_params})
-              #{inspector.method_body}
-            end
-            RUBY
-          end)
-        end
-
-        # @return [PredicateBlockInspector]
-        def extract_predicate_source_code
-          filepath, line = @predicate.source_location
-          PredicateBlockInspector.new(line).tap do |inspector|
-            res = Prism.parse_file(filepath)
-            res.value.statements.accept(inspector)
-          end
-        end
-      end
-    end
-  end
-end