From b55d3cfe6a6f94af3f60a1bfe8c3b9520b217941 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 6 May 2025 10:01:10 -0400 Subject: [PATCH] tests for hashing strings --- tests/core/t_hash.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tests/core/t_hash.ml b/tests/core/t_hash.ml index 7248c8ce..37b1d6d1 100644 --- a/tests/core/t_hash.ml +++ b/tests/core/t_hash.ml @@ -11,6 +11,8 @@ t @@ fun () -> char 'c' >= 0;; t @@ fun () -> int 152352 = int 152352;; t @@ fun () -> list_comm int [ 1; 2 ] = list_comm int [ 2; 1 ];; t @@ fun () -> list_comm int [ 1; 2 ] <> list_comm int [ 2; 3 ];; +t @@ fun () -> string "abcd" >= 0;; +t @@ fun () -> string "abc" <> string "abcd";; q Q.int (fun i -> Q.assume (i >= 0);