prepare for 0.5.3

c-cube · Jan 24, 2017 · da8b7df · da8b7df
1 parent 97b030a
commit da8b7df
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,15 @@
 # Changes
 
+## 0.5.3
+
+- missing char in `Gen.char` (close #23)
+- add `test` and `doc` to opam
+- add `small_list` generator
+- add `~long_factor` to tests and runner, for long tests
+- add more examples in readme, better doc for runners
+- improved reporting when running qcheck tests
+- add `Test.get_count` on test cells
+
 ## 0.5.2
 
 - Add cli option for backtraces in `QCheck_runner`

diff --git a/_oasis b/_oasis
@@ -1,6 +1,6 @@
 OASISFormat: 0.4
 Name:        qcheck
-Version:     0.5.2
+Version:     0.5.3
 Homepage:    https://github.com/c-cube/qcheck
 Authors:     Simon Cruanes, Vincent Hugot
 License:     LGPL