make a test less slow

This commit is contained in:
Simon Cruanes 2016-04-25 11:56:07 +02:00
parent 4cfb82a3fe
commit 24add9d4f7

View file

@ -368,7 +368,7 @@ module Make(W : WORD)
*) *)
(*$Q (*$Q
Q.(pair (list (pair printable_string int)) printable_string) (fun (l,s) -> \ Q.(pair (list (pair (printable_string_of_size Gen.(0 -- 30)) int)) printable_string) (fun (l,s) -> \
let m = String.of_list l in \ let m = String.of_list l in \
let s' = String.longest_prefix s m in \ let s' = String.longest_prefix s m in \
CCString.prefix ~pre:s' s) CCString.prefix ~pre:s' s)