Skip to content

Commit ec1bdb3

Browse files
committed
prepare for 0.5.1
1 parent 4b4bb09 commit ec1bdb3

File tree

4 files changed

+11
-11
lines changed

4 files changed

+11
-11
lines changed

_oasis

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
OASISFormat: 0.4
22
Name: qcheck
3-
Version: 0.5
3+
Version: 0.5.1
44
Homepage: https://github.com/c-cube/qcheck
55
Authors: Simon Cruanes, Vincent Hugot
66
License: LGPL

setup.ml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
(* setup.ml generated for the first time by OASIS v0.3.0 *)
22

33
(* OASIS_START *)
4-
(* DO NOT EDIT (digest: 90bd3cf8a873be34d56786e64c1d6358) *)
4+
(* DO NOT EDIT (digest: f9d3607a34eea5026cff171c86485859) *)
55
(*
66
Regenerated by OASIS v0.4.8
77
Visit http://oasis.forge.ocamlcore.org for more information and
@@ -6875,7 +6875,7 @@ let setup_t =
68756875
{
68766876
oasis_version = "0.4";
68776877
ocaml_version = None;
6878-
version = "0.5";
6878+
version = "0.5.1";
68796879
license =
68806880
OASISLicense.DEP5License
68816881
(OASISLicense.DEP5Unit
@@ -7281,7 +7281,7 @@ let setup_t =
72817281
};
72827282
oasis_fn = Some "_oasis";
72837283
oasis_version = "0.4.8";
7284-
oasis_digest = Some "E\245RA\021\031K\015#\201\170\223\161J\172m";
7284+
oasis_digest = Some "\156=\143n\019\022x\253\247\183$\201MU\247\180";
72857285
oasis_exec = None;
72867286
oasis_setup_args = [];
72877287
setup_update = false

src/META

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# OASIS_START
2-
# DO NOT EDIT (digest: 39834eb1a5d70d8e480a69594bb35834)
3-
version = "0.5"
2+
# DO NOT EDIT (digest: 575ebc1f480a40fa92360dec7fcf5888)
3+
version = "0.5.1"
44
description = "QuickCheck inspired property based testing"
55
requires = "unix bytes oUnit"
66
archive(byte) = "qcheck.cma"

src/QCheck.mli

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -117,7 +117,7 @@ val assume : bool -> unit
117117
List.hd l :: List.tl l = l)
118118
]}
119119
120-
@since NEXT_RELEASE
120+
@since 0.5.1
121121
*)
122122

123123
val assume_fail : unit -> 'a
@@ -132,7 +132,7 @@ val assume_fail : unit -> 'a
132132
| _::_ as l -> List.hd l :: List.tl l = l)
133133
]}
134134
135-
@since NEXT_RELEASE
135+
@since 0.5.1
136136
*)
137137

138138
(** {2 Generate Random Values} *)
@@ -198,7 +198,7 @@ module Gen : sig
198198
val neg_int : int t (** Generates negative integers *)
199199
val pint : int t (** Generates positive integers uniformly *)
200200
val int : int t (** Generates integers uniformly *)
201-
val small_nat : int t (** Synonym to {!nat} @since NEXT_RELEASE *)
201+
val small_nat : int t (** Synonym to {!nat} @since 0.5.1 *)
202202
val small_int : int t (** Small signed integers (not just {!nat}) *)
203203
val int_bound : int -> int t
204204
(** Uniform integer generator producing integers within [0... bound].
@@ -228,7 +228,7 @@ module Gen : sig
228228
val opt : 'a t -> 'a option t (** An option generator *)
229229
val pair : 'a t -> 'b t -> ('a * 'b) t (** Generates pairs *)
230230
val triple : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t (** Generates triples *)
231-
val quad : 'a t -> 'b t -> 'c t -> 'd t -> ('a * 'b * 'c * 'd) t (** Generates quadruples @since NEXT_RELEASE *)
231+
val quad : 'a t -> 'b t -> 'c t -> 'd t -> ('a * 'b * 'c * 'd) t (** Generates quadruples @since 0.5.1 *)
232232

233233
val char : char t (** Generates characters upto character code 255 *)
234234
val printable : char t (** Generates printable characters *)
@@ -570,7 +570,7 @@ val int_range : int -> int -> int arbitrary
570570

571571
val small_nat : int arbitrary
572572
(** Small unsigned integers
573-
@since NEXT_RELEASE *)
573+
@since 0.5.1 *)
574574

575575
val small_int : int arbitrary
576576
(** Small signed integers. See {!Gen.small_int}. *)

0 commit comments

Comments
 (0)