Closed ohbarye closed 6 months ago
Pbt now supports 3 concurrency methods and 1 sequential one. We can choose one of them by setting the concurrency_method option.
Pbt
concurrency_method
The motivation of this change came from 2 points.
expect
eq
Pbt.assert(params: { concurrency_method: :ractor }) do Pbt.property(Pbt.integer) do |number| # ... end end
Pbt.assert(params: { concurrency_method: :process }) do Pbt.property(Pbt.integer) do |number| # ... end end
Pbt.assert(params: { concurrency_method: :thread }) do Pbt.property(Pbt.integer) do |number| # ... end end
Pbt.assert(params: { concurrency_method: :none }) do Pbt.property(Pbt.integer) do |number| # ... end end
Change
Pbt
now supports 3 concurrency methods and 1 sequential one. We can choose one of them by setting theconcurrency_method
option.The motivation of this change came from 2 points.
expect
,eq
etc.) in user-defined blocks. It'd be quite hard to run them in isolated Ractor.Ractor
Process
Thread
None