pbt 0.2.0 → 0.3.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: d02ba2667633586ac6e6582c3f0f181dd089e63d56b160877a0b3e51ebb353e0
-  data.tar.gz: 1e4dc60aa8ddbac429091bd86d3f8d601bb1a34034aa8e7c6c8c914d43e5e9b8
+  metadata.gz: 8415f37c2819e6370e7d418cb96d8ae2467fec24cfca1e64088c925874dc0c34
+  data.tar.gz: f6b38e54ec98fa669cc379c6c181e210d5fab02fc076a343e941aa17cb5be476
 SHA512:
-  metadata.gz: 9ba49e79546492deec531f0ebef12e86e8458482740d20b3d0b3398a02aae220ea5fed476bee6489909bc2f62990fadcda2fff556fab2df69d30984a9d48435c
-  data.tar.gz: df6c5128d3f2b839068bd736946114a81dabf590b49d1d93d7053cf7368fa65d299515323396864c9a942f2e004a3cab73f36dc215ba5660c3d5213e41ee7cfd
+  metadata.gz: cf614cf7100cbbf13f197dbc2a088e43c8b01fac31eaddc8d24ce5f1da7ed14140e3c59e3cafa6b0a22eee7014965c99df444d90dc70bcfbf07862f077ebb738
+  data.tar.gz: df70247adc89586f9ebb813427fe3efdcfd5ba93deea286dea8f5120dae92bc293f6a7f7ff2bcb2a5bdd263ed7e5108d7c358c4a96eb978e037143f02356a1db

data/CHANGELOG.md

@@ -1,5 +1,11 @@
 ## [Unreleased]
 
+## [0.3.0] - 2024-04-21
+
+- Add experimental_ractor_rspec_integration mode. Be careful, it's quite experimental.
+- Fix a bug: consider a case when a backtrace is nil.
+- Allow to pass a predicate block keyword arguments with destruction.
+
 ## [0.2.0] - 2024-04-17
 
 - Add verbose mode. It's useful to debug the test case.

data/README.md

@@ -32,12 +32,6 @@ Add this line to your application's Gemfile and run `bundle install`.
 gem 'pbt'
 ```
 
-If you want to use multi-processes or multi-threads (other than Ractor) as workers to run tests, install the [parallel](https://github.com/grosser/parallel) gem.
-
-```ruby
-gem 'parallel'
-```
-
 Off course you can install with `gem intstall pbt`.
 
 ## Basic Usage
@@ -226,6 +220,9 @@ 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
 ```
 
@@ -289,6 +286,22 @@ 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.
@@ -301,6 +314,8 @@ Pbt.assert(worker: :process) do
 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.
@@ -313,6 +328,8 @@ Pbt.assert(worker: :thread) do
 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.
@@ -343,9 +360,11 @@ Once this project finishes the following, we will release v1.0.0.
   - [x] Configuration
 - [x] Benchmark
 - [x] Rich report by verbose mode
-- [ ] 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 if possible.
   - It'd be so hard to pass assertions like `expect`, `assert` to a Ractor.
-- [ ] More parallelism or faster execution if possible
+- [ ] Implement frequency arbitrary
+- [ ] Statistics feature to aggregate generated values
+- [ ] Decide DSL
 
 ## Development
 

data/Rakefile

@@ -19,7 +19,10 @@ namespace :benchmark do
       puts "This runs a script that does not do any IO or CPU bound work."
       puts
       ENV["RUBYOPT"] = "-W:no-experimental"
+      ENV["RUBY_MN_THREADS"] = "1"
+      puts "```"
       sh "ruby", "benchmark/success_simple.rb"
+      puts "```"
       puts
     end
 
@@ -29,7 +32,10 @@ namespace :benchmark do
       puts "This runs a script that does CPU bound work."
       puts
       ENV["RUBYOPT"] = "-W:no-experimental"
+      ENV["RUBY_MN_THREADS"] = "1"
+      puts "```"
       sh "ruby", "benchmark/success_cpu_bound.rb"
+      puts "```"
       puts
     end
 
@@ -39,7 +45,10 @@ namespace :benchmark do
       puts "This runs a script that does IO bound work."
       puts
       ENV["RUBYOPT"] = "-W:no-experimental"
+      ENV["RUBY_MN_THREADS"] = "1"
+      puts "```"
       sh "ruby", "benchmark/success_io_bound.rb"
+      puts "```"
       puts
     end
   end
@@ -51,7 +60,10 @@ namespace :benchmark do
       puts "This runs a script that fails and shrink happens."
       puts
       ENV["RUBYOPT"] = "-W:no-experimental"
+      ENV["RUBY_MN_THREADS"] = "1"
+      puts "```"
       sh "ruby", "benchmark/failure_simple.rb"
+      puts "```"
       puts
     end
   end

data/benchmark/README.md

@@ -20,9 +20,9 @@ Interestingly, both multi-process (`worker: :process`) and multi-thread (`worker
 
 The following benchmarks are the results of running the benchmark suite.
 
-- macOS 13.3.1, Apple M1 Pro 10 cores (8 performance and 2 efficiency)
+- macOS 14.4.1, Apple M1 Pro 10 cores (8 performance and 2 efficiency)
 - ruby 3.3.0 (2023-12-25 revision 5124f9ac75) [arm64-darwin22]
-- pbt commit hash 6582b27105ef5e92197b3f52f9c7cf78d731e1e2
+- pbt commit hash 6f2c1cf1ab36d5d83a89fabb22da431e3600fe25
 
 ---
 
@@ -30,68 +30,74 @@ The following benchmarks are the results of running the benchmark suite.
 
 This runs a script that does not do any IO or CPU bound work.
 
+```
 ruby benchmark/success_simple.rb
-ruby 3.3.0 (2023-12-25 revision 5124f9ac75) [arm64-darwin22]
+ruby 3.3.0 (2023-12-25 revision 5124f9ac75) +MN [arm64-darwin22]
 Warming up --------------------------------------
-ractor    20.000 i/100ms
-process     3.000 i/100ms
-thread   126.000 i/100ms
-none   668.000 i/100ms
+              ractor    19.000 i/100ms
+             process     2.000 i/100ms
+              thread   114.000 i/100ms
+                none   234.000 i/100ms
 Calculating -------------------------------------
-ractor    173.918 (±11.5%) i/s -    880.000 in   5.129007s
-process     28.861 (± 3.5%) i/s -    147.000 in   5.100393s
-thread      1.130k (± 5.5%) i/s -      5.670k in   5.031552s
-none      6.534k (± 2.3%) i/s -     32.732k in   5.011885s
+              ractor     75.717 (± 4.0%) i/s -    380.000 in   5.025954s
+             process      1.712 (± 0.0%) i/s -     10.000 in   5.840821s
+              thread      1.019k (±34.0%) i/s -      4.560k in   5.028774s
+                none      1.616k (±24.1%) i/s -      7.722k in   5.003744s
+```
 
 ### Benchmark success:cpu_bound
 
 This runs a script that does CPU bound work.
 
+```
 ruby benchmark/success_cpu_bound.rb
-Call tarai function with(9, 4, 0)
-
-ruby 3.3.0 (2023-12-25 revision 5124f9ac75) [arm64-darwin22]
+ruby 3.3.0 (2023-12-25 revision 5124f9ac75) +MN [arm64-darwin22]
 Warming up --------------------------------------
-ractor     3.000 i/100ms
-process     2.000 i/100ms
-thread     1.000 i/100ms
-none     1.000 i/100ms
+              ractor     3.000 i/100ms
+             process     2.000 i/100ms
+              thread     1.000 i/100ms
+                none     1.000 i/100ms
 Calculating -------------------------------------
-ractor     32.788 (± 6.1%) i/s -    165.000 in   5.057492s
-process     22.098 (± 4.5%) i/s -    112.000 in   5.080410s
-thread      7.439 (± 0.0%) i/s -     38.000 in   5.108195s
-none      7.494 (± 0.0%) i/s -     38.000 in   5.070547s
+              ractor     35.688 (± 8.4%) i/s -    180.000 in   5.079922s
+             process     15.329 (± 6.5%) i/s -     78.000 in   5.097040s
+              thread      7.654 (± 0.0%) i/s -     39.000 in   5.095252s
+                none      7.707 (± 0.0%) i/s -     39.000 in   5.060309s
+```
 
 ### Benchmark success:io_bound
 
 This runs a script that does IO bound work.
 
+```
 ruby benchmark/success_io_bound.rb
-ruby 3.3.0 (2023-12-25 revision 5124f9ac75) [arm64-darwin22]
+ruby 3.3.0 (2023-12-25 revision 5124f9ac75) +MN [arm64-darwin22]
 Warming up --------------------------------------
-ractor    11.000 i/100ms
-process     3.000 i/100ms
-thread    17.000 i/100ms
-none    22.000 i/100ms
+              ractor    11.000 i/100ms
+             process     2.000 i/100ms
+              thread    16.000 i/100ms
+                none    21.000 i/100ms
 Calculating -------------------------------------
-ractor     82.488 (±14.5%) i/s -    407.000 in   5.054559s
-process     35.403 (± 5.6%) i/s -    177.000 in   5.013818s
-thread    143.022 (± 7.7%) i/s -    714.000 in   5.021129s
-none    223.252 (± 9.0%) i/s -      1.122k in   5.071176s
+              ractor     55.907 (± 3.6%) i/s -    286.000 in   5.122098s
+             process      9.916 (± 0.0%) i/s -     50.000 in   5.044945s
+              thread    131.280 (±17.5%) i/s -    656.000 in   5.148757s
+                none    144.364 (± 4.8%) i/s -    735.000 in   5.102093s
+```
 
 ### Benchmark failure:simple
 
 This runs a script that fails and shrink happens.
 
+```
 ruby benchmark/failure_simple.rb
-ruby 3.3.0 (2023-12-25 revision 5124f9ac75) [arm64-darwin22]
+ruby 3.3.0 (2023-12-25 revision 5124f9ac75) +MN [arm64-darwin22]
 Warming up --------------------------------------
-ractor     6.000 i/100ms
-process     1.000 i/100ms
-thread     9.000 i/100ms
-none   815.000 i/100ms
+              ractor     7.000 i/100ms
+             process     1.000 i/100ms
+              thread    14.000 i/100ms
+                none   288.000 i/100ms
 Calculating -------------------------------------
-ractor     62.770 (±15.9%) i/s -    306.000 in   5.009858s
-process      1.783 (± 0.0%) i/s -      9.000 in   5.049606s
-thread     85.218 (± 9.4%) i/s -    423.000 in   5.007178s
-none      5.387k (± 3.3%) i/s -     27.710k in   5.149867s
+              ractor     13.104 (± 7.6%) i/s -     70.000 in   5.358898s
+             process      0.060 (± 0.0%) i/s -      1.000 in  16.545525s
+              thread    111.493 (±20.6%) i/s -    532.000 in   5.012879s
+                none      2.445k (±19.0%) i/s -     12.096k in   5.086548s
+```

data/benchmark/success_cpu_bound.rb

@@ -16,9 +16,6 @@ end
 
 a, b, c = [9, 4, 0]
 
-puts "Call tarai function with(#{a}, #{b}, #{c})"
-puts
-
 Benchmark.ips do |x|
   x.report("ractor") do
     Pbt.assert(worker: :ractor) do

data/lib/pbt/check/configuration.rb

@@ -9,6 +9,7 @@ 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`.
@@ -16,12 +17,14 @@ module Pbt
       # @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
+        thread_report_on_exception: false,
+        experimental_ractor_rspec_integration: false
       )
         super
       end

data/lib/pbt/check/property.rb

@@ -34,7 +34,11 @@ module Pbt
       # @param val [Object]
       # @return [void]
       def run(val)
-        @predicate.call(val)
+        if val.is_a?(Hash)
+          @predicate.call(**val)
+        else
+          @predicate.call(val)
+        end
       end
 
       # Run the predicate with the generated `val` in a Ractor.

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

@@ -0,0 +1,64 @@
+# 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

@@ -0,0 +1,47 @@
+# frozen_string_literal: true
+
+begin
+  # Use prism to get user-defined block code.
+  require "prism"
+rescue LoadError
+  raise InvalidConfiguration,
+    "Prism gem (https://github.com/grosser/parallel) is required to use worker `:rator` and `:experimental_ractor_rspec_integration`. Please add `gem 'parallel'` 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

@@ -0,0 +1,72 @@
+# 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 = 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, val) do |class_name, method_name, val|
+            klass = RSpecAdapter.const_get(class_name)
+            if val.is_a?(Hash)
+              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

data/lib/pbt/check/runner_methods.rb

@@ -43,31 +43,48 @@ module Pbt
           end
         end
 
-        suppress_exception_report_for_ractor(config) do
+        setup_for_ractor(config, property) do
           run_it(property, source_values, config).to_run_details(config)
         end
       end
 
       private
 
-      # If using Ractor, so many exception reports happen in Ractor and a console gets too messy. Suppress them to avoid that.
+      # If using Ractor, some extra configurations are available and they need to be set up.
+      #
+      # - `: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]
       # @param block [Proc]
-      def suppress_exception_report_for_ractor(config, &block)
+      def setup_for_ractor(config, property, &block)
         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
-        Thread.report_on_exception = original_report_on_exception if config[:worker] == :ractor
+        if config[:worker] == :ractor
+          Thread.report_on_exception = original_report_on_exception
+          property.teardown_rspec_integration if config[:experimental_ractor_rspec_integration]
+        end
       end
 
       # Run the property test for each value.
       #
-      # @param property [Proc] Property to test.
+      # @param property [Property] Property to test.
       # @param source_values [Enumerator] Enumerator of values to test.
       # @param config [Hash] Configuration parameters.
       # @return [RunExecution] Result of the test.
@@ -88,7 +105,7 @@ module Pbt
         runner.run_execution
       end
 
-      # @param property [Proc]
+      # @param property [Property] Property to test.
       # @param runner [RunnerIterator]
       # @return [void]
       def run_it_in_sequential(property, runner)
@@ -105,7 +122,7 @@ module Pbt
         end
       end
 
-      # @param property [Proc]
+      # @param property [Property] Property to test.
       # @param runner [RunnerIterator]
       # @return [void]
       def run_it_in_ractors(property, runner)
@@ -115,13 +132,28 @@ module Pbt
           c.ractor.take
           runner.handle_result(c)
         rescue => e
-          c.exception = e.cause # Ractor error is wrapped in a Ractor::RemoteError. We need to get the cause.
+          handle_ractor_error(e.cause, c)
           runner.handle_result(c)
           break # Ignore the rest of the cases. Just pick up the first failure.
         end
       end
 
-      # @param property [Proc]
+      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)
@@ -142,7 +174,7 @@ module Pbt
         end
       end
 
-      # @param property [Proc]
+      # @param property [Property] Property to test.
       # @param runner [RunnerIterator]
       # @return [void]
       def run_it_in_processes(property, runner)

data/lib/pbt/reporter/run_details_reporter.rb

@@ -42,6 +42,8 @@ module Pbt
       end
 
       def error_backtrace
+        return "" if @run_details.error_instance.backtrace_locations.nil? # It can be nil.
+
         i = @run_details.verbose ? -1 : 10
         "    #{@run_details.error_instance.backtrace_locations[..i].join("\n    ")}"
       end

data/lib/pbt/version.rb

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

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: pbt
 version: !ruby/object:Gem::Version
-  version: 0.2.0
+  version: 0.3.0
 platform: ruby
 authors:
 - ohbarye
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-04-16 00:00:00.000000000 Z
+date: 2024-04-21 00:00:00.000000000 Z
 dependencies: []
 description:
 email:
@@ -46,6 +46,9 @@ 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