diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2013-05-08 08:55:42 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2013-05-08 08:55:42 +0000 |
| commit | d31eb278a30f4ee94abc9d6be0d3c2f9574be1b3 (patch) | |
| tree | eb69c01a886705d2db0cc79bd53afa14334fd5bb | |
| parent | 0f45880800ac00767889f462dd6d5255bb93d742 (diff) | |
| download | ocaml-d31eb278a30f4ee94abc9d6be0d3c2f9574be1b3.tar.gz | |
PR#6010 continued: more tests.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13661 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | testsuite/tests/lib-num/end_test.reference | 2 | ||||
| -rw-r--r-- | testsuite/tests/lib-num/test_big_ints.ml | 6 |
2 files changed, 7 insertions, 1 deletions
diff --git a/testsuite/tests/lib-num/end_test.reference b/testsuite/tests/lib-num/end_test.reference index 1c31f7121a..741d3bfbd1 100644 --- a/testsuite/tests/lib-num/end_test.reference +++ b/testsuite/tests/lib-num/end_test.reference @@ -82,7 +82,7 @@ shift_right_big_int shift_right_towards_zero_big_int 1... 2... extract_big_int - 1... 2... 3... 4... 5... 6... 7... 8... + 1... 2... 3... 4... 5... 6... 7... 8... 9... 10... hashing of big integers 1... 2... 3... 4... 5... 6... create_ratio diff --git a/testsuite/tests/lib-num/test_big_ints.ml b/testsuite/tests/lib-num/test_big_ints.ml index 3bdb988868..95e5bb9792 100644 --- a/testsuite/tests/lib-num/test_big_ints.ml +++ b/testsuite/tests/lib-num/test_big_ints.ml @@ -940,6 +940,12 @@ test 7 eq_big_int test 8 eq_big_int (extract_big_int (big_int_of_int (-1234567)) 0 16, big_int_of_int 10617);; +test 9 eq_big_int + (extract_big_int (minus_big_int (power_int_positive_int 2 64)) 64 20, + big_int_of_int 0xFFFFF);; +test 10 eq_big_int + (extract_big_int (pred_big_int (minus_big_int (power_int_positive_int 2 64))) 64 20, + big_int_of_int 0xFFFFE);; testing_function "hashing of big integers";; |