ocamlPackages.qcheck*: 0.16 -> 0.17

* New exposed function, bug fixes:
  https://github.com/c-cube/qcheck/blob/0.17/CHANGELOG.md#017

* Fix a too liberal testing range causing an integer overflow in stdint
  which for some reason only qcheck 0.17 and not 0.16 seems to find
This commit is contained in:
sternenseemann 2021-02-20 15:57:09 +01:00 committed by Vincent Laporte
parent 4287f5adfa
commit 2f96b9a7b4
2 changed files with 9 additions and 5 deletions

View file

@ -2,7 +2,7 @@
buildDunePackage rec { buildDunePackage rec {
pname = "qcheck-core"; pname = "qcheck-core";
version = "0.16"; version = "0.17";
useDune2 = true; useDune2 = true;
@ -12,7 +12,7 @@ buildDunePackage rec {
owner = "c-cube"; owner = "c-cube";
repo = "qcheck"; repo = "qcheck";
rev = version; rev = version;
sha256 = "1s5dpqj8zvd3wr2w3fp4wb6yc57snjpxzzfv9fb6l9qgigswwjdr"; sha256 = "0qfyqhfg98spmfci9z6f527a16gwjnx2lrbbgw67p37ys5acrfar";
}; };
meta = { meta = {

View file

@ -21,14 +21,18 @@ buildDunePackage rec {
}) })
]; ];
# disable remaining broken tests, see # 1. disable remaining broken tests, see
# https://github.com/andrenth/ocaml-stdint/issues/59 # https://github.com/andrenth/ocaml-stdint/issues/59
# 2. fix tests to liberal test range
# https://github.com/andrenth/ocaml-stdint/pull/61
postPatch = '' postPatch = ''
substituteInPlace tests/stdint_test.ml \ substituteInPlace tests/stdint_test.ml \
--replace 'test "An integer should perform left-shifts correctly"' \ --replace 'test "An integer should perform left-shifts correctly"' \
'skip "An integer should perform left-shifts correctly"' \ 'skip "An integer should perform left-shifts correctly"' \
--replace 'test "Logical shifts must not sign-extend"' \ --replace 'test "Logical shifts must not sign-extend"' \
'skip "Logical shifts must not sign-extend"' 'skip "Logical shifts must not sign-extend"' \
--replace 'let pos_int = QCheck.map_same_type abs in_range' \
'let pos_int = QCheck.int_range 0 maxi'
''; '';
doCheck = true; doCheck = true;