From 6e905a839d3cd1c8d3ce9127131543bcf8f4f161 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 22 Mar 2016 11:14:11 +0100 Subject: [PATCH] more iterations for some tests --- src/core/CCString.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/core/CCString.mli b/src/core/CCString.mli index 79bbbadf..f6cda140 100644 --- a/src/core/CCString.mli +++ b/src/core/CCString.mli @@ -102,7 +102,7 @@ val find : ?start:int -> sub:string -> string -> int 6 (find ~sub:"a" ~start:5 "a1a234a") *) -(*$Q & ~count:300 +(*$Q & ~count:10_000 Q.(pair printable_string printable_string) (fun (s1,s2) -> \ let i = find ~sub:s2 s1 in \ i < 0 || String.sub s1 i (length s2) = s2) @@ -149,7 +149,7 @@ val rfind : sub:string -> string -> int 6 (rfind ~sub:"a" "a1a234a") *) -(*$Q & ~count:300 +(*$Q & ~count:10_000 Q.(pair printable_string printable_string) (fun (s1,s2) -> \ let i = rfind ~sub:s2 s1 in \ i < 0 || String.sub s1 i (length s2) = s2)