Permalink
Commits on Jan 5, 2017
  1. Merge pull request #311 from Philippus/new_year

    2016 -> 2017
    committed on GitHub Jan 5, 2017
Commits on Jan 4, 2017
  1. 2016 -> 2017

    Philippus committed Jan 4, 2017
Commits on Dec 8, 2016
  1. Change license to unmodified 3-clause BSD.

    No longer using the slightly reworded 3-clause BSD license.
    This does not change the meaning of the license,
    just aligns it with the standard wording.
    
    Since ScalaCheck has a history of following the license choice
    made by the Scala compiler project, this commit replicates the
    change made in scala/scala@bf93057
    
    Resolves issue #265.
    committed Dec 8, 2016
Commits on Nov 27, 2016
  1. Merge pull request #303 from xuwei-k/Cogen-Symbol

    add Cogen[Symbol]
    committed on GitHub Nov 27, 2016
Commits on Nov 26, 2016
  1. add Cogen[Symbol]

    xuwei-k committed Nov 26, 2016
Commits on Nov 21, 2016
  1. Merge pull request #302 from xuwei-k/pf-arb-cogen

    add Cogen[PartialFunction[A, B]] and Arbitrary[PartialFunction[A, B]]
    committed on GitHub Nov 21, 2016
  2. Merge pull request #263 from non/topic/initial-seed

    Support deterministic testing using Parameters.
    committed on GitHub Nov 21, 2016
Commits on Nov 20, 2016
  1. add Cogen[PartialFunction[A, B]]

    xuwei-k committed Nov 20, 2016
Commits on Nov 18, 2016
Commits on Nov 16, 2016
  1. Fix uniform-distribution test.

    If we test this property 100 times per test run, we'd expect it to
    fail every (1.7M / 100) times, i.e. one in every seventeen-thousand
    test runs. That seems like an acceptable level of false positives.
    erik-stripe committed Nov 16, 2016
  2. Get deterministic Props working.

    As far as I can tell these are working correctly. There was some
    trouble with sub-Prop evaluation, where the previous strategy of
    "clearing" the initial seed was causing sub-Props to be
    non-deterministic.
    
    We're now using Seed#slide to keep sub-Props using a (different)
    initialSeed. It's important not to just use the same seed, otherwise
    things like `forAll { (x: Int, y: Int) => x == y }` would always be
    true.
    
    At this point (barring bugs) I think this feature is working.
    erik-stripe committed Nov 16, 2016
  3. Prop-level seeding is sort of working.

    The big problem is that most of Prop's combinators don't communicate
    RNG state (or parameter state) between them. This means that things
    like nested forAll don't work yet.
    erik-stripe committed Nov 14, 2016
  4. Support deterministic testing using Parameters.

    This commit adds an `initialSeed` parameter to the Parameter types
    that Test and Gen use to control test execution. When set to `None`,
    things behave as they usually do, but when set to `Some(seed)`, that
    seed will be used to start the execution.
    
    This makes it easier to configure repeatable tests. In the future, you
    could imagine ScalaCheck emitting which seed it started with during a
    failing test, and providing an interface for re-running the failing
    test with the same seed.
    erik-stripe committed Sep 10, 2016
Commits on Nov 8, 2016
  1. Merge pull request #301 from non/bug/fix-retry-in-function-gen

    Fix retrying code in doPureApply.
    committed on GitHub Nov 8, 2016
  2. Merge pull request #299 from xuwei-k/remove-workarounds

    remove unnecessary methods in scalacheck 1.14.x
    committed on GitHub Nov 8, 2016
  3. Merge pull request #298 from non/bug/deterministic-calendar

    Make Gen[Calendar] deterministic.
    committed on GitHub Nov 8, 2016
  4. Fix retrying code in doPureApply.

    This commit fixes a bug pointed out by @alexarchambault. When
    constructing an `A => B` value from `Cogen[A]` and `Gen[B]`, we need
    to be able to reliably generate a `B` value given a `Seed`. The
    `doPureApply` method was given the ability to retry -- but
    unfortunately, it used the same result value (with the same seed)
    instead of trying a new one, defeating the retry code.
    
    This commit fixes that problem. It adds tests to ensure that filtered
    generators that can also produce real values can be used with
    Gen.function1. (If a generator can never produce values it will still
    be a problem.)
    
    Fixes #300.
    erik-stripe committed Nov 8, 2016
Commits on Nov 4, 2016
  1. Clean up Gen.calendar.

    Also introduces some java.util.* imports to clean things up a bit.
    erik-stripe committed Nov 4, 2016
Commits on Nov 3, 2016
  1. Make Gen[Calendar] deterministic.

    Previously it was possible for the "current system time" to leak
    through into generated Calendar instance (and by extention Date
    instances). This was especially painful for generated functions (such
    as A => Date) where the function is likely to be evaluated at multiple
    different system times.
    
    This PR restructures Gen.calendar to ensure that all instances are
    initialized from a generated time (in milliseconds). The code is
    cleaned up a bit and a test was added to ensure generation is
    deterministic.
    
    Fixes #295.
    erik-stripe committed Nov 3, 2016
Commits on Nov 1, 2016
  1. Merge pull request #296 from fedgehog/same_cross_scala_versions_every…

    …where
    
    Set same cross Scala versions in all (sub)projects
    committed on GitHub Nov 1, 2016
  2. Set same cross Scala versions in all (sub)projects

    Allows cross versioned execution of tasks without prior
    navigation to sub-project.
    fedgehog committed Nov 1, 2016
  3. Removed Prop.suspend in favor of the already existing Prop.delay

    (cherry picked from commit 1a436e8)
    mpilquist committed with Nov 1, 2016
  4. Fixes #290 (deadlock under 2.12 during property initialization)

    (cherry picked from commit 4dd1a15)
    mpilquist committed with Oct 31, 2016
Commits on Oct 24, 2016
  1. Merge pull request #267 from ssanj/pr_test_run_filter

    filter properties based on a criteria
    committed on GitHub Oct 24, 2016
  2. Merge pull request #277 from adamgfraser/arbFunction0

    Arbitrary Function0 Instance
    committed on GitHub Oct 24, 2016
  3. Merge pull request #287 from ceedubs/cogen-try

    Use seed.next for Success in Cogen for Try
    committed on GitHub Oct 24, 2016
  4. Merge pull request #286 from ceedubs/none-freq

    Reduce the frequency of None in Option Gen
    committed on GitHub Oct 24, 2016
  5. Merge pull request #284 from ceedubs/duration-instances

    Add support for Duration and FiniteDuration
    committed on GitHub Oct 24, 2016
Commits on Oct 21, 2016
  1. Use seed.next for Success in Cogen for Try

    Fixes #285 (see discussion there).
    ceedubs committed Oct 21, 2016