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);