From 242fb14d6a5964487d945f2272493bd02aaf6af5 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 22 Mar 2022 16:09:41 +0100 Subject: [PATCH] switch to branch with improved shrinkers --- multicorecheck.opam | 6 +++--- multicoretests.opam | 8 ++++---- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/multicorecheck.opam b/multicorecheck.opam index bcc27c218..91d98e7dd 100644 --- a/multicorecheck.opam +++ b/multicorecheck.opam @@ -15,9 +15,9 @@ depends: [ "odoc" {with-doc} ] pin-depends: [ - ["qcheck-core.0.18.1" "git+https://github.com/c-cube/qcheck.git#master"] - ["qcheck-ounit.0.18.1" "git+https://github.com/c-cube/qcheck.git#master"] - ["qcheck.0.18.1" "git+https://github.com/c-cube/qcheck.git#master"] + ["qcheck-core.0.18.1" "git+https://github.com/jmid/qcheck.git#shrinker-improvements-list-string-fun"] + ["qcheck-ounit.0.18.1" "git+https://github.com/jmid/qcheck.git#shrinker-improvements-list-string-fun"] + ["qcheck.0.18.1" "git+https://github.com/jmid/qcheck.git#shrinker-improvements-list-string-fun"] ] build: [ diff --git a/multicoretests.opam b/multicoretests.opam index a0082be48..35bff5e8d 100644 --- a/multicoretests.opam +++ b/multicoretests.opam @@ -24,10 +24,10 @@ pin-depends: [ ["sexplib0.v0.14.0" "git+https://github.com/patricoferris/sexplib0#5.00"] ["ppxlib.0.25.0~5.00preview" "git+https://github.com/kit-ty-kate/ppxlib#500+sexp"] - ["qcheck-core.0.18.1" "git+https://github.com/c-cube/qcheck.git#master"] - ["qcheck-ounit.0.18.1" "git+https://github.com/c-cube/qcheck.git#master"] - ["qcheck.0.18.1" "git+https://github.com/c-cube/qcheck.git#master"] - ["ppx_deriving_qcheck.0.2.0" "git+https://github.com/c-cube/qcheck.git#master"] + ["qcheck-core.0.18.1" "git+https://github.com/jmid/qcheck.git#shrinker-improvements-list-string-fun"] + ["qcheck-ounit.0.18.1" "git+https://github.com/jmid/qcheck.git#shrinker-improvements-list-string-fun"] + ["qcheck.0.18.1" "git+https://github.com/jmid/qcheck.git#shrinker-improvements-list-string-fun"] + ["ppx_deriving_qcheck.0.2.0" "git+https://github.com/jmid/qcheck.git#shrinker-improvements-list-string-fun"] ["domainslib.0.4.2" "git+https://github.com/ocaml-multicore/domainslib#master"] ["kcas.0.14" "git+https://github.com/ocaml-multicore/kcas#master"]