prepare for 0.10

CHANGELOG.md

@@ -1,5 +1,19 @@
 # Changes
 
+## 0.10
+
+- `Shrink`: decompose Shrink.list into Shrink.list_spine and Shrink.list_elems
+- `Gen.fix` has a more general and useful type
+- update README to include `Rely` section (qcheck now available for reason-native!)
+- Fix stat printing
+- speed-up list shrinker
+- Better int shrinking
+- core: modify proba distributions again, add `big_nat`
+- feat: add `small_array`, modify distributions
+- print number of warnings in runner's summary
+- refactor: modify type of results to make them more accurate
+- feat: warn/fail if too many tests passed only b/c precondition failed
+
 ## 0.9
 
 - add `qcheck-ounit` sublibrary

qcheck-alcotest.opam

@@ -4,7 +4,7 @@ author: [ "Simon Cruanes <[email protected]>" ]
 homepage: "https://github.com/c-cube/qcheck/"
 synopsis: "Alcotest backend for qcheck"
 doc: ["http://c-cube.github.io/qcheck/"]
-version: "0.9"
+version: "0.10"
 tags: [
   "test"
   "property"
@@ -18,7 +18,7 @@ run-test: [
   ["dune" "runtest" "-p" name]
 ]
 depends: [
-  "dune" {build}
+  "dune"
   "base-bytes"
   "base-unix"
   "qcheck-core" { >= "0.9" }

qcheck-core.opam

@@ -4,7 +4,7 @@ author: [ "Simon Cruanes <[email protected]>" ]
 homepage: "https://github.com/c-cube/qcheck/"
 synopsis: "Core qcheck library"
 doc: ["http://c-cube.github.io/qcheck/"]
-version: "0.9"
+version: "0.10"
 tags: [
   "test"
   "property"
@@ -18,7 +18,7 @@ run-test: [
   ["dune" "runtest" "-p" name]
 ]
 depends: [
-  "dune" {build}
+  "dune"
   "base-bytes"
   "base-unix"
   "odoc" {with-doc}

qcheck-ounit.opam

@@ -4,7 +4,7 @@ author: [ "Simon Cruanes <[email protected]>" ]
 homepage: "https://github.com/c-cube/qcheck/"
 doc: ["http://c-cube.github.io/qcheck/"]
 synopsis: "OUnit backend for qcheck"
-version: "0.9"
+version: "0.10"
 tags: [
   "test"
   "property"
@@ -18,7 +18,7 @@ run-test: [
   ["dune" "runtest" "-p" name]
 ]
 depends: [
-  "dune" {build}
+  "dune"
   "base-bytes"
   "base-unix"
   "qcheck-core" { >= "0.9" }

qcheck.opam

@@ -4,7 +4,7 @@ author: [ "Simon Cruanes <[email protected]>" ]
 synopsis: "Compatibility package for qcheck"
 homepage: "https://github.com/c-cube/qcheck/"
 doc: ["http://c-cube.github.io/qcheck/"]
-version: "0.9"
+version: "0.10"
 tags: [
   "test"
   "property"
@@ -18,7 +18,7 @@ run-test: [
   ["dune" "runtest" "-p" name]
 ]
 depends: [
-  "dune" {build}
+  "dune"
   "base-bytes"
   "base-unix"
   "qcheck-core" { >= "0.9" }

src/core/QCheck.ml

@@ -1096,7 +1096,7 @@ module TestResult = struct
   type 'a failed_state = 'a counter_ex list
 
   (** Result state.
-      changed in NEXT_RELEASE (move to inline records) *)
+      changed in 0.10 (move to inline records) *)
   type 'a state =
     | Success
     | Failed of {

src/core/QCheck.mli

@@ -202,7 +202,7 @@ module Gen : sig
 
   val nat : int t (** Generates small natural numbers. *)
 
-  val big_nat : int t (** Generates natural numbers, possibly large. @since NEXT_RELEASE *)
+  val big_nat : int t (** Generates natural numbers, possibly large. @since 0.10 *)
 
   val neg_int : int t (** Generates non-strictly negative integers (0 included). *)
 
@@ -297,7 +297,7 @@ module Gen : sig
 
   val small_array : 'a t -> 'a array t
   (** Generates arrays of small size (see {!small_nat}).
-      @since NEXT_RELEASE *)
+      @since 0.10 *)
 
   val join : 'a t t -> 'a t
   (** Collapses a generator of generators to simply a generator.
@@ -469,11 +469,11 @@ module Shrink : sig
 
   val list_spine : 'a list t
   (** Try to shrink lists by removing one or more elements.
-      @since NEXT_RELEASE *)
+      @since 0.10 *)
 
   val list_elems : 'a t -> 'a list t
   (** Shrinks the elements of a list, without changing the list size.
-      @since NEXT_RELEASE *)
+      @since 0.10 *)
 
   val array : ?shrink:'a t -> 'a array t
   (** Shrink an array.
@@ -626,7 +626,7 @@ module TestResult : sig
   type 'a failed_state = 'a counter_ex list
 
   (** Result state.
-      changed in NEXT_RELEASE (move to inline records, add Fail_other) *)
+      changed in 0.10 (move to inline records, add Fail_other) *)
   type 'a state =
     | Success
     | Failed of {
@@ -662,7 +662,7 @@ module TestResult : sig
 
   val warnings : _ t -> string list
   (** Obtain list of warnings
-      @since NEXT_RELEASE *)
+      @since 0.10 *)
 
   val is_success : _ t -> bool
   (** Returns true iff the state if [Success]
@@ -709,7 +709,7 @@ module Test : sig
         The fraction should be between 0. and 1.
         A warning will be emitted otherwise if
         the flag is [`Warning], the test will be a failure if the flag is [`Fatal].
-        (since NEXT_RELEASE)
+        (since 0.10)
   *)
 
   val get_arbitrary : 'a cell -> 'a arbitrary