mirror of
https://github.com/c-cube/ocaml-containers.git
synced 2025-12-06 03:05:28 -05:00
tests for hashing strings
This commit is contained in:
parent
4613aafb30
commit
b55d3cfe6a
1 changed files with 2 additions and 0 deletions
|
|
@ -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);
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue