Skip to content

Commit

Permalink
Prepare for 0.4 release
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Sep 17, 2024
1 parent b0e1b30 commit 9b706bd
Show file tree
Hide file tree
Showing 6 changed files with 6 additions and 6 deletions.
2 changes: 1 addition & 1 deletion CHANGES.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Changes

## Next
## 0.4

- #415: Remove `--verbose` in internal `mutable_set_v5` expect test to avoid
a test failure on a slow machine
Expand Down
2 changes: 1 addition & 1 deletion dune-project
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
(authors "Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne" "Samuel Hym")
(maintainers "Jan Midtgaard <mail@janmidtgaard.dk>")
(license BSD-2-clause)
(version "0.3")
(version "0.4")

(package
(name multicoretests)
Expand Down
2 changes: 1 addition & 1 deletion multicoretests.opam
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.3"
version: "0.4"
synopsis: "Experimental multicore test suite of OCaml 5.0"
description: """
This package contains a collection of randomized QCheck tests to exercise
Expand Down
2 changes: 1 addition & 1 deletion qcheck-lin.opam
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.3"
version: "0.4"
synopsis: "A multicore testing library for OCaml"
description: """
A testing library based on QCheck to test interface behaviour under parallel
Expand Down
2 changes: 1 addition & 1 deletion qcheck-multicoretests-util.opam
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.3"
version: "0.4"
synopsis:
"Various utility functions for property-based testing of multicore programs"
description: """
Expand Down
2 changes: 1 addition & 1 deletion qcheck-stm.opam
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.3"
version: "0.4"
synopsis:
"State-machine testing library for sequential and parallel model-based tests"
description: """
Expand Down

0 comments on commit 9b706bd

Please sign in to comment.