Commits

Alan Falloon committed 5b34192

Switched the list test to be less verbose

Comments (0)

Files changed (2)

   maxTest = 100;
   maxFail = 1000;
   size    = (fun n -> 3 + n / 2);
-  every   = (fun f (n, _) -> Format.fprintf f "%d" n) 
+  every   = (fun _ (_, _) -> ()) 
 }
 
 let verbose = {
     (SL)
     (Testable_bool)
 module C = Check(Testable_char_list_to_bool)
-let () = C.verboseCheck prop_revrev
+let () = C.quickCheck prop_revrev