Compare commits

...

8 Commits

Author SHA1 Message Date
867b749cb4
Bump Release
Signed-off-by: David Abdurachmanov <david.abdurachmanov@gmail.com>
2021-04-25 17:56:10 +03:00
e059b7463b
Bump Release
Signed-off-by: David Abdurachmanov <david.abdurachmanov@sifive.com>
2021-04-25 15:09:42 +03:00
584c54b1f8
Bump Release
Signed-off-by: David Abdurachmanov <david.abdurachmanov@sifive.com>
2021-04-25 10:33:51 +03:00
Jerry James
f573c54849 Add upstream patches to fix numeric range issues. 2020-12-02 19:14:15 -07:00
Jerry James
ba868ff309 Rebuild to fix broken ocaml-fmt dependency. 2020-11-12 09:32:27 -07:00
Jerry James
56ae6629e2 Version 0.16. 2020-11-05 10:50:41 -07:00
Jerry James
de1ad57108 Version 0.15. 2020-09-25 16:10:22 -06:00
Richard W.M. Jones
522e4d7ff6 Bump release and rebuild. 2020-09-02 22:35:39 +01:00
4 changed files with 93 additions and 4 deletions

View File

@ -0,0 +1,36 @@
From 99a5f108681271f50f31fe3988db0f94b5779c2b Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <jmid@mmmi.sdu.dk>
Date: Thu, 12 Nov 2020 12:43:23 +0100
Subject: [PATCH 1/2] Fixes distribution and min_int issues
---
src/core/QCheck.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/core/QCheck.ml b/src/core/QCheck.ml
index 5a3a3e6..67d6e3a 100644
--- a/src/core/QCheck.ml
+++ b/src/core/QCheck.ml
@@ -162,7 +162,7 @@ module Gen = struct
else fun st -> let r = pint st in r mod (n + 1)
let int_range a b =
if b < a then invalid_arg "Gen.int_range";
- if a >= 0 || b <= 0 then (
+ if a >= 0 || b < 0 then (
(* range smaller than max_int *)
assert (b-a >= 0);
fun st -> a + (int_bound (b-a) st)
@@ -171,8 +171,8 @@ module Gen = struct
choose the itv wrt to their size ratio *)
fun st ->
let f_a = float_of_int a in
- let ratio = (-.f_a) /. (float_of_int b -. f_a) in
- if Random.float 1. < ratio then - (int_bound (abs a) st)
+ let ratio = (-.f_a) /. (1. +. float_of_int b -. f_a) in
+ if Random.State.float st 1. <= ratio then - (Gen.int_bound (- (a+1)) st) - 1
else int_bound b st
)
--
2.28.0

View File

@ -0,0 +1,25 @@
From 7616e43b4d011ef90e7e20f47e9837c660d8428f Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <jmid@mmmi.sdu.dk>
Date: Thu, 12 Nov 2020 12:47:28 +0100
Subject: [PATCH 2/2] rm needless .Gen
---
src/core/QCheck.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/core/QCheck.ml b/src/core/QCheck.ml
index 67d6e3a..f05f73c 100644
--- a/src/core/QCheck.ml
+++ b/src/core/QCheck.ml
@@ -172,7 +172,7 @@ module Gen = struct
fun st ->
let f_a = float_of_int a in
let ratio = (-.f_a) /. (1. +. float_of_int b -. f_a) in
- if Random.State.float st 1. <= ratio then - (Gen.int_bound (- (a+1)) st) - 1
+ if Random.State.float st 1. <= ratio then - (int_bound (- (a+1)) st) - 1
else int_bound b st
)
--
2.28.0

View File

@ -1,11 +1,15 @@
Name: ocaml-qcheck
Version: 0.14
Release: 4%{?dist}
Version: 0.16
Release: 2%{?dist}.rvre2
Summary: QuickCheck inspired property-based testing for OCaml
License: BSD
URL: https://github.com/c-cube/qcheck
Source0: https://github.com/c-cube/qcheck/archive/%{version}/%{name}-%{version}.tar.gz
# Upstream patch to fix https://github.com/c-cube/qcheck/issues/100
Patch0: 0001-Fixes-distribution-and-min_int-issues.patch
# Small fix to the previous patch
Patch1: 0002-rm-needless-.Gen.patch
BuildRequires: ocaml >= 4.03.0
BuildRequires: ocaml-dune
@ -40,7 +44,7 @@ Documentation for %{name}.
%prep
%autosetup -n qcheck-%{version}
%autosetup -n qcheck-%{version} -p1
%build
@ -104,6 +108,30 @@ dune runtest --no-buffer --profile release
%changelog
* Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.16-2.rvre2
- Rebuilt for Fedora RISCV, no changes
* Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.16-2.rvre1
- Rebuilt for Fedora RISCV, no changes
* Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.16-2.rvre0
- Rebuilt for Fedora RISCV, no changes
* Wed Dec 2 2020 Jerry James <loganjerry@gmail.com> - 0.16-2
- Add upstream patches to fix numeric range issues
* Thu Nov 12 2020 Jerry James <loganjerry@gmail.com> - 0.16-1.1
- Rebuild to fix broken ocaml-fmt dependency
* Thu Nov 5 2020 Jerry James <loganjerry@gmail.com> - 0.16-1
- Version 0.16
* Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 0.15-1
- Version 0.15
* Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14-4.1
- Bump release and rebuild.
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14-4
- OCaml 4.11.1 rebuild

View File

@ -1 +1 @@
SHA512 (ocaml-qcheck-0.14.tar.gz) = 0994d29133f88a97694cf20beb455b0e8c7ab88de777d26fb034eab6e4db0a9cf1f9e931888cb5d87671e55b55bbf6e8e61891dde907b4dc1af4498ff2f29107
SHA512 (ocaml-qcheck-0.16.tar.gz) = eb9f08cdad479399347ae7771f610d58622d45af79ae9e46d3267da7d3c197cb9d1ea57fafa6af5f1fcd0e360282f72c183dd0f6ba47329536c5523661eb40e8