Skip to content

Commit

Permalink
prepare for 0.13
Browse files Browse the repository at this point in the history
  • Loading branch information
c-cube committed Jan 24, 2020
1 parent 82b3b78 commit 73783b1
Show file tree
Hide file tree
Showing 6 changed files with 17 additions and 10 deletions.
7 changes: 7 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,12 @@
# Changes

## 0.13

- make counter private
- Add debug shrinking log
- fix: small fix related to stdlib/pervasives
- feat: add flatten combinators in `gen`

## 0.12

- fix singleton list shrinking
Expand Down
2 changes: 1 addition & 1 deletion qcheck-alcotest.opam
Original file line number Diff line number Diff line change
Expand Up @@ -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.12"
version: "0.13"
tags: [
"test"
"quickcheck"
Expand Down
2 changes: 1 addition & 1 deletion qcheck-core.opam
Original file line number Diff line number Diff line change
Expand Up @@ -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.12"
version: "0.13"
tags: [
"test"
"property"
Expand Down
2 changes: 1 addition & 1 deletion qcheck-ounit.opam
Original file line number Diff line number Diff line change
Expand Up @@ -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.12"
version: "0.13"
tags: [
"qcheck"
"quickcheck"
Expand Down
2 changes: 1 addition & 1 deletion qcheck.opam
Original file line number Diff line number Diff line change
Expand Up @@ -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.12"
version: "0.13"
tags: [
"test"
"property"
Expand Down
12 changes: 6 additions & 6 deletions src/core/QCheck.mli
Original file line number Diff line number Diff line change
Expand Up @@ -165,7 +165,7 @@ module Gen : sig

val (<$>) : ('a -> 'b) -> 'a t -> 'b t
(** An infix synonym for {!map}
@since NEXT_RELEASE *)
@since 0.13 *)

val oneof : 'a t list -> 'a t
(** Constructs a generator that selects among a given list of generators. *)
Expand Down Expand Up @@ -322,7 +322,7 @@ module Gen : sig
val char_range : char -> char -> char t
(** Generates chars between the two bounds, inclusive.
Example: [char_range 'a' 'z'] for all lower case ascii letters.
@since NEXT_RELEASE *)
@since 0.13 *)

val string_size : ?gen:char t -> int t -> string t
(** Builds a string generator from a (non-negative) size generator.
Expand Down Expand Up @@ -352,19 +352,19 @@ module Gen : sig

val flatten_l : 'a t list -> 'a list t
(** Generate a list of elements from individual generators
@since NEXT_RELEASE *)
@since 0.13 *)

val flatten_a : 'a t array -> 'a array t
(** Generate an array of elements from individual generators
@since NEXT_RELEASE *)
@since 0.13 *)

val flatten_opt : 'a t option -> 'a option t
(** Generate an option from an optional generator
@since NEXT_RELEASE *)
@since 0.13 *)

val flatten_res : ('a t, 'e) result -> ('a,'e) result t
(** Generate a result from [Ok g], an error from [Error e]
@since NEXT_RELEASE *)
@since 0.13 *)

val small_array : 'a t -> 'a array t
(** Generates arrays of small size (see {!small_nat}).
Expand Down

0 comments on commit 73783b1

Please sign in to comment.