From: =?utf-8?q?St=C3=A9phane_Glondu?= 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 ->