1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
From: =?utf-8?q?St=C3=A9phane_Glondu?= <glondu@debian.org>
Date: Sun, 14 Sep 2025 21:49:22 +0200
Subject: Condition some tests that succeed only on 64-bit architectures
---
tests/core/t_hash.ml | 1 +
tests/core/t_int32.ml | 1 +
2 files changed, 2 insertions(+)
diff --git a/tests/core/t_hash.ml b/tests/core/t_hash.ml
index 37b1d6d..23c59f3 100644
--- a/tests/core/t_hash.ml
+++ b/tests/core/t_hash.ml
@@ -14,6 +14,7 @@ t @@ fun () -> list_comm int [ 1; 2 ] <> list_comm int [ 2; 3 ];;
t @@ fun () -> string "abcd" >= 0;;
t @@ fun () -> string "abc" <> string "abcd";;
+if Sys.word_size = 64 then
q Q.int (fun i ->
Q.assume (i >= 0);
int i = int64 (Int64.of_int i))
diff --git a/tests/core/t_int32.ml b/tests/core/t_int32.ml
index 1870c38..c0f61da 100644
--- a/tests/core/t_int32.ml
+++ b/tests/core/t_int32.ml
@@ -85,6 +85,7 @@ eq ~printer:CCFun.id "0b111" (to_string_binary 7l);;
eq ~printer:CCFun.id "-0b111" (to_string_binary (-7l));;
eq ~printer:CCFun.id "0b0" (to_string_binary 0l);;
+if Stdlib.(Sys.word_size = 64) then
q
Q.(0 -- (Int32.max_int |> Int32.to_int))
(fun i ->
|
