update list dupl test to print counterexample

c-cube · Aug 18, 2021 · a1f0592 · a1f0592
1 parent 57a5d42
commit a1f0592
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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 --------------------------------------------------------------------
-Original file line number
+Diff line change
@@ Expand Up / @@ -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 --------------------------------------------------------------------
@@ Expand Down @@