diff --git a/test/core/QCheck2_expect_test.ml b/test/core/QCheck2_expect_test.ml index 970312d9..c7cfed38 100644 --- a/test/core/QCheck2_expect_test.ml +++ b/test/core/QCheck2_expect_test.ml @@ -182,7 +182,7 @@ module Shrink = struct (fun xs -> (*print_list xs;*) List.length xs < 4332) let list_equal_dupl = - Test.make ~name:"lists equal to duplication" ~print:length_printer + Test.make ~name:"lists equal to duplication" ~print:Print.(list int) Gen.(list_size size_gen small_int) (*Gen.(list small_int)*) (fun xs -> try xs = xs @ xs with Stack_overflow -> false) diff --git a/test/core/QCheck_expect_test.ml b/test/core/QCheck_expect_test.ml index 97a8dd28..46e2f1d0 100644 --- a/test/core/QCheck_expect_test.ml +++ b/test/core/QCheck_expect_test.ml @@ -176,8 +176,8 @@ module Shrink = struct let list_equal_dupl = Test.make ~name:"lists equal to duplication" - (set_print length_printer (list_of_size size_gen small_int)) - (*(set_print length_printer (list small_int))*) + (list_of_size size_gen small_int) + (*(list small_int)*) (fun xs -> try xs = xs @ xs with Stack_overflow -> false) diff --git a/test/core/qcheck2_output.txt.expected b/test/core/qcheck2_output.txt.expected index 747f0fce..cf52f542 100644 --- a/test/core/qcheck2_output.txt.expected +++ b/test/core/qcheck2_output.txt.expected @@ -330,7 +330,7 @@ Test lists shorter than 4332 failed (4022 shrink steps): Test lists equal to duplication failed (4 shrink steps): -[...] list length: 1 +[0] --- Failure -------------------------------------------------------------------- diff --git a/test/core/qcheck_output.txt.expected b/test/core/qcheck_output.txt.expected index da58eda8..73a545e5 100644 --- a/test/core/qcheck_output.txt.expected +++ b/test/core/qcheck_output.txt.expected @@ -267,7 +267,7 @@ Test lists shorter than 4332 failed (13 shrink steps): Test lists equal to duplication failed (20 shrink steps): -[...] list length: 1 +[0] --- Failure --------------------------------------------------------------------