hypothesis-specs 0.1.2 → 0.2.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 8e514de73ab86bfeae1d5e5801ee47e8865c4a06d90f2053f4318f9dd9df19cb
-  data.tar.gz: 1aff7880e50e37ee73f287ac2cd318a9201cf2ba09d45ca79ad9b778eeb2d3bd
+  metadata.gz: 8ceb7e5a7e7c564c26e971e6e5aacce7599ef8c3b810b879141c8ea9e97f2b7f
+  data.tar.gz: f5de9db4207eea15c790475cc43540faf30d69e5587be623dedf6b954b556f04
 SHA512:
-  metadata.gz: fef51bf7876fc9b0b27363e8f73f84fa4ffde68a6ac2312b9f70bd780da1dd9a8923eeff14e092679c52d1fc74136a2529ae468a4e748ad021212e391846156b
-  data.tar.gz: 1ba9eb0a28cde4f29a127086ecb2fdce722566cc38b3cd4cfc741ec91b704501d293c10b00828ae7efcd4df931e44518e01e312da15b8a55ef0b946573b90c6b
+  metadata.gz: 79c6389fefaca46af95d01f1b285a6e2cc1f9dc30c185da5efd6363e65b00f00794a9ca21ee5b551e6bb06df235c10b00777b0a8d27b3c09d8e10cdf834944ff
+  data.tar.gz: 5129459dbc559cb3b08354e3c0e36f691a2f9aea7f58dacf01a69760bcd9d6b06d7a7e905ac19b768b31d285ce30a7c587ab8dab54a546eb600e5e14b42d069c

data/CHANGELOG.md

@@ -1,3 +1,9 @@
+# Hypothesis for Ruby 0.2.0 (2018-10-24)
+
+This release adds an example database to Hypothesis for Ruby. This means that when a test fails,
+it will automatically reuse the previously shown example when you rerun it, without having to
+manually pass a seed.
+
 # Hypothesis for Ruby 0.1.2 (2018-09-24)
 
 This release makes the code useable via a direct require.

data/Cargo.toml

@@ -9,4 +9,4 @@ crate-type = ["cdylib"]
 [dependencies]
 helix = '0.7.5'
 rand = '0.3'
-conjecture = '0.3.0'
+conjecture = '0.4.0'

data/lib/hypothesis.rb

@@ -140,12 +140,21 @@ module Hypothesis
   #
   # A call to hypothesis does the following:
   #
-  # 1. It tries to *generate* a failing test case.
-  # 2. If it succeeded then it will *shrink* that failing test case.
-  # 3. Finally, it will *display* the shrunk failing test case by
+  # 1. It first tries to *reuse* failing test cases for previous runs.
+  # 2. If there were no previous failing test cases then it tries to
+  #    *generate* new failing test cases.
+  # 3. If either of the first two phases found failing test cases then
+  #    it will *shrink* those failing test cases.
+  # 4. Finally, it will *display* the shrunk failing test case by
   #    the error from its failing assertion, modified to show the
   #    givens of the test case.
   #
+  # Reuse uses an internal representation of the test case, so examples
+  # from previous runs will obey all of the usual invariants of generation.
+  # However, this means that if you change your test then reuse may not
+  # work. Test cases that have become invalid or passing will be cleaned
+  # up automatically.
+  #
   # Generation consists of randomly trying test cases until one of
   # three things has happened:
   #
@@ -170,13 +179,20 @@ module Hypothesis
   #
   # @param max_valid_test_cases [Integer] The maximum number of valid test
   #   cases to run without finding a failing test case before stopping.
-  def hypothesis(max_valid_test_cases: 200, &block)
+  #
+  # @param database [String, nil, false] A path to a directory where 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)
     unless World.current_engine.nil?
       raise UsageError, 'Cannot nest hypothesis calls'
     end
     begin
       World.current_engine = Engine.new(
-        max_examples: max_valid_test_cases
+        hypothesis_stable_identifier,
+        max_examples: max_valid_test_cases,
+        database: database
       )
       World.current_engine.run(&block)
     ensure

data/lib/hypothesis/engine.rb

@@ -7,16 +7,25 @@ require_relative '../hypothesis-ruby/native'
 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
 
-    def initialize(options)
+    def initialize(name, options)
       seed = Random.rand(2**64 - 1)
+
+      database = options.fetch(:database, nil)
+
+      database = DEFAULT_DATABASE_PATH if database.nil?
+
+      database = nil if database == false
+
       @core_engine = HypothesisCoreEngine.new(
-        seed, options.fetch(:max_examples)
+        name, database, seed, options.fetch(:max_examples)
       )
 
       @exceptions_to_tags = Hash.new { |h, k| h[k] = h.size }

data/src/lib.rs

@@ -16,6 +16,7 @@ use conjecture::data::{DataSource, Status, TestResult};
 use conjecture::distributions::Repeat;
 use conjecture::distributions;
 use conjecture::engine::Engine;
+use conjecture::database::{BoxedDatabase, NoDatabase, DirectoryDatabase};
 
 ruby! {
   class HypothesisCoreDataSource {
@@ -49,11 +50,16 @@ ruby! {
       interesting_examples: Vec<TestResult>,
     }
 
-    def initialize(helix, seed: u64, max_examples: u64){
+    def initialize(helix, name: String, database_path: Option<String>, seed: u64, max_examples: u64){
       let xs: [u32; 2] = [seed as u32, (seed >> 32) as u32];
+      let db: BoxedDatabase = match database_path {
+        None => Box::new(NoDatabase),
+        Some(path) => Box::new(DirectoryDatabase::new(path)),
+      };
+
       HypothesisCoreEngine{
         helix,
-        engine: Engine::new(max_examples, &xs),
+        engine: Engine::new(name, max_examples, &xs, db),
         pending: None,
         interesting_examples: Vec::new(),
       }

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: hypothesis-specs
 version: !ruby/object:Gem::Version
-  version: 0.1.2
+  version: 0.2.0
 platform: ruby
 authors:
 - David R. Maciver
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2018-09-24 00:00:00.000000000 Z
+date: 2018-10-24 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: helix_runtime