hypothesis-specs 0.3.0 → 0.7.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 77c742dcfc65dfcab8e0eac24498eff24b10461abf17f502961ac9fc30bd1810
-  data.tar.gz: 6a73fbe38f860e2b2b9f9fd68cde16a33657eb05d0117a3a2e78ab5dfa8e2226
+  metadata.gz: 3b45927dcad934674c4626592af6a233a6a203e780bdf452a707393236f58539
+  data.tar.gz: 5a64bedf3e625575165520dc367241a3cd7e1355d43bf8d511fea96add531a1c
 SHA512:
-  metadata.gz: 8b0da0f3b0820c93b32af05eb040fd6d88e86748a8fd99c38609a204944a84b773f2e53bf757c103c0c0f5a6e66097fd65c839ca95c0ec8360c9ac1ae1814153
-  data.tar.gz: 0a2d28a1fbc0e3b87fa96452a6028d0f0f8e00d223eb1440f1daf86eb3e40ec33c25c21222c9a2fc585d053dcca63e9de6d9d0e96ca7eb277e452e0baa77c2ac
+  metadata.gz: 725eaad1d61b219f67bd0cd3eaad7510952e7dcaf820e6b53346bb7d132b51198246e4ad6856a89ff1fafecd5c3eefbfd563008367208e1595c6bede67ba4444
+  data.tar.gz: c25843124c218554533f0bba87632d43ee642652d36410067e213a63f5e5c8a592c0ce3082ceb25fe93e6cf178be58c54819c91d49eab92e533f18d7b73936d2

data/CHANGELOG.md

@@ -1,3 +1,39 @@
+# Hypothesis for Ruby 0.7.0 (2021-03-12)
+
+Moves rake from being a a runtime dependency to being a development dependency. Rake is used to run tests but is not required for consumers of hypothesis-ruby.
+
+# Hypothesis for Ruby 0.6.1 (2021-02-01)
+
+This patch contains minor performance improvements for `HypothesisCoreIntegers` class instantiation.
+
+# Hypothesis for Ruby 0.6.0 (2021-01-27)
+
+Adds support for skipping shrinking. While shrinking is extremely helpful and important in general, it has the potential to be quite time consuming. It can be useful to observe a raw failure before choosing to allow the engine to try to shrink. [hypothesis-python](https://hypothesis.readthedocs.io/en/latest/settings.html#phases) already provides the ability to skip shrinking, so there is precedent for this being useful. While `hypothesis-ruby` does not have the concept of other "Phases" yet, we can still start off the API by using this concept.
+
+Usage:
+
+```
+hypothesis(phases: Phase.excluding(:shrink)) do
+  # Failures here will be displayed directly and shrinking will be avoided
+end
+```
+
+# Hypothesis for Ruby 0.5.0 (2021-01-25)
+
+Adds support for skipping shrinking. While shrinking is extremely helpful and important in general, it has the potential to be quite time consuming. It can be useful to observe a raw failure before choosing to allow the engine to try to shrink. [hypothesis-python](https://hypothesis.readthedocs.io/en/latest/settings.html#phases) already provides the ability to skip shrinking, so there is precedent for this being useful. While `hypothesis-ruby` does not have the concept of other "Phases" yet, we can still start off the API by using this concept.
+
+Usage:
+
+```
+hypothesis(phases: Phase.excluding(:shrink)) do
+  # Failures here will be displayed directly and shrinking will be avoided
+end
+```
+
+# Hypothesis for Ruby 0.4.0 (2021-01-12)
+
+This removes hypothesis-ruby's dependence on RSpec. Now, it can be used with any Ruby test runner.
+
 # Hypothesis for Ruby 0.3.0 (2021-01-08)
 
 This release converts Hypothesis for Ruby to use [RuTie](https://github.com/danielpclark/rutie)

data/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "hypothesis-ruby"
 version = "0.1.0"
-authors = ["David R. MacIver <david@drmaciver.com>", "Alex Wiesberger <alex.m.weisberger@gmail.com>"]
+authors = ["David R. MacIver <david@drmaciver.com>", "Alex Weisberger <alex.m.weisberger@gmail.com>"]
 
 [lib]
 name="hypothesis_ruby_core"
@@ -11,4 +11,4 @@ crate-type = ["cdylib"]
 rutie = {version="0.8.1"}
 lazy_static = "1.4.0"
 rand = '0.3'
-conjecture = '0.4.0'
+conjecture = '0.7.0'

data/README.markdown

@@ -71,7 +71,7 @@ Right now this is really more to allow you to try it out and provide feedback th
 The more feedback we get, the sooner it will get there!
 
 Note that in order to use Hypothesis for Ruby, you will need a rust toolchain installed.
-Please go to [https://www.rustup.rs](https://www.rustup.rs) and follow the instructions if you do not already have one.
+Please go to [https://www.rustup.rs](https://www.rustup.rs) and follow the instructions if you do not already have one. You will most likely need to compile your Ruby executable with the `--enable-shared` option. See [here](https://github.com/danielpclark/rutie#dynamic-vs-static-builds).
 
 ## Project Status
 

data/Rakefile

@@ -5,7 +5,7 @@ require 'date'
 require 'open3'
 
 task :build do
-  system('cargo build --release')
+  sh('cargo build --release')
 end
 
 begin
@@ -20,9 +20,25 @@ begin
   end
 
   task test: %i[build spec minitests]
+  task rspec: %i[build spec]
+  task minitest: %i[build without_rspec] do
+    begin
+      Rake::Task['minitests'].execute
+    ensure
+      Rake::Task['with_rspec'].execute
+    end
+  end
 rescue LoadError
 end
 
+task :without_rspec do
+  sh('bundle config set without rspec')
+end
+
+task :with_rspec do
+  sh('bundle config unset without')
+end
+
 def rubocop(fix:)
   sh "bundle exec rubocop #{'-a' if fix} lib spec minitests " \
   'Rakefile hypothesis-specs.gemspec'

data/lib/hypothesis.rb

@@ -7,6 +7,28 @@ require_relative 'hypothesis/testcase'
 require_relative 'hypothesis/engine'
 require_relative 'hypothesis/world'
 
+module Phase
+  SHRINK = :shrink
+
+  module_function
+
+  def all
+    [SHRINK]
+  end
+
+  def excluding(*phases)
+    unknown_phases = phases.reject { |phase| Phase.all.include?(phase) }
+    unless unknown_phases.empty?
+      raise(
+        ArgumentError,
+        "Attempting to exclude unknown phases: #{unknown_phases}"
+      )
+    end
+
+    all - phases
+  end
+end
+
 # This is the main module for using Hypothesis.
 # It is expected that you will include this in your
 # tests, but its methods are also available on the
@@ -201,7 +223,12 @@ module Hypothesis
   #   should store previously failing test cases. If it is nil, Hypothesis
   #   will use a default of .hypothesis/examples in the current directory.
   #   May also be set to false to disable the database functionality.
-  def hypothesis(max_valid_test_cases: 200, database: nil, &block)
+  def hypothesis(
+    max_valid_test_cases: 200,
+    phases: Phase.all,
+    database: nil,
+    &block
+  )
     unless World.current_engine.nil?
       raise UsageError, 'Cannot nest hypothesis calls'
     end
@@ -210,6 +237,7 @@ module Hypothesis
       World.current_engine = Engine.new(
         hypothesis_stable_identifier,
         max_examples: max_valid_test_cases,
+        phases: phases,
         database: database
       )
       World.current_engine.run(&block)

data/lib/hypothesis/engine.rb

@@ -2,14 +2,10 @@
 
 require 'rutie'
 
-require 'rspec/expectations'
-
 module Hypothesis
   DEFAULT_DATABASE_PATH = File.join(Dir.pwd, '.hypothesis', 'examples')
 
   class Engine
-    include RSpec::Matchers
-
     attr_reader :current_source
     attr_accessor :is_find
 
@@ -23,7 +19,11 @@ module Hypothesis
       database = nil if database == false
 
       @core_engine = HypothesisCoreEngine.new(
-        name, database, seed, options.fetch(:max_examples)
+        name,
+        database,
+        seed,
+        options.fetch(:max_examples),
+        options.fetch(:phases)
       )
 
       @exceptions_to_tags = Hash.new { |h, k| h[k] = h.size }

data/src/lib.rs

@@ -4,15 +4,19 @@ extern crate rutie;
 extern crate lazy_static;
 extern crate conjecture;
 
+use std::convert::TryFrom;
 use std::mem;
 
-use rutie::{AnyException, AnyObject, Boolean, Class, Float, Integer, NilClass, Object, RString, VM};
+use rutie::{
+    AnyException, AnyObject, Array, Boolean, Class, Exception, Float, Integer, NilClass, Object,
+    RString, Symbol, VM,
+};
 
 use conjecture::data::{DataSource, Status, TestResult};
 use conjecture::database::{BoxedDatabase, DirectoryDatabase, NoDatabase};
 use conjecture::distributions;
 use conjecture::distributions::Repeat;
-use conjecture::engine::Engine;
+use conjecture::engine::{Engine, Phase};
 
 pub struct HypothesisCoreDataSourceStruct {
     source: Option<DataSource>,
@@ -46,6 +50,7 @@ wrappable_struct!(
 
 class!(HypothesisCoreDataSource);
 
+#[rustfmt::skip]
 methods!(
     HypothesisCoreDataSource,
     itself,
@@ -77,6 +82,7 @@ impl HypothesisCoreEngineStruct {
         database_path: Option<String>,
         seed: u64,
         max_examples: u64,
+        phases: Vec<Phase>,
     ) -> HypothesisCoreEngineStruct {
         let xs: [u32; 2] = [seed as u32, (seed >> 32) as u32];
         let db: BoxedDatabase = match database_path {
@@ -85,7 +91,7 @@ impl HypothesisCoreEngineStruct {
         };
 
         HypothesisCoreEngineStruct {
-            engine: Engine::new(name, max_examples, &xs, db),
+            engine: Engine::new(name, max_examples, phases, &xs, db),
             pending: None,
             interesting_examples: Vec::new(),
         }
@@ -144,6 +150,7 @@ wrappable_struct!(
 
 class!(HypothesisCoreEngine);
 
+#[rustfmt::skip]
 methods!(
     HypothesisCoreEngine,
     itself,
@@ -151,13 +158,26 @@ methods!(
         name: RString,
         database_path: RString,
         seed: Integer,
-        max_example: Integer
+        max_example: Integer,
+        phases: Array
     ) -> AnyObject {
+        let rust_phases = safe_access(phases)
+            .into_iter()
+            .map(|ruby_phase| {
+                let phase_sym = safe_access(ruby_phase.try_convert_to::<Symbol>());
+                let phase = Phase::try_from(phase_sym.to_str())
+                    .map_err(|e| AnyException::new("ArgumentError", Some(&e)));
+
+                safe_access(phase)
+            })
+            .collect();
+
         let core_engine = HypothesisCoreEngineStruct::new(
             safe_access(name).to_string(),
             database_path.ok().map(|p| p.to_string()),
             safe_access(seed).to_u64(),
             safe_access(max_example).to_u64(),
+            rust_phases,
         );
 
         Class::from_existing("HypothesisCoreEngine")
@@ -259,6 +279,7 @@ wrappable_struct!(
 
 class!(HypothesisCoreIntegers);
 
+#[rustfmt::skip]
 methods!(
     HypothesisCoreIntegers,
     itself,
@@ -315,6 +336,7 @@ wrappable_struct!(
 
 class!(HypothesisCoreRepeatValues);
 
+#[rustfmt::skip]
 methods!(
     HypothesisCoreRepeatValues,
     itself,
@@ -376,6 +398,7 @@ wrappable_struct!(
 
 class!(HypothesisCoreBoundedIntegers);
 
+#[rustfmt::skip]
 methods!(
     HypothesisCoreBoundedIntegers,
     itself,
@@ -465,5 +488,5 @@ fn mark_child_status(
 }
 
 fn safe_access<T>(value: Result<T, AnyException>) -> T {
-  value.map_err(VM::raise_ex).unwrap()
+    value.map_err(VM::raise_ex).unwrap()
 }

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: hypothesis-specs
 version: !ruby/object:Gem::Version
-  version: 0.3.0
+  version: 0.7.0
 platform: ruby
 authors:
 - David R. Maciver
@@ -9,7 +9,7 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2021-01-08 00:00:00.000000000 Z
+date: 2021-03-12 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rutie
@@ -25,26 +25,6 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: 0.0.3
-- !ruby/object:Gem::Dependency
-  name: rake
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '10.0'
-    - - "<"
-      - !ruby/object:Gem::Version
-        version: '13.0'
-  type: :runtime
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '10.0'
-    - - "<"
-      - !ruby/object:Gem::Version
-        version: '13.0'
 description: 'Hypothesis is a powerful, flexible, and easy to use library for property-based
   testing.
 
@@ -89,7 +69,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.2.4
+rubygems_version: 3.2.14
 signing_key: 
 specification_version: 4
 summary: Hypothesis is a powerful, flexible, and easy to use library for property-based