simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-06 11:15:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

small change to improve test speed

Browse source
This commit is contained in:
Simon Cruanes 2017-05-01 18:39:11 +02:00
parent 3ab610ba0e
commit f7394ede9f
1 changed files with 6 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
src/data/CCTrie.ml
View file

@ -684,25 +684,27 @@ module Make(W : WORD)
| [] | [_] -> true | [] | [_] -> true
| x :: ((y ::_) as tl) -> | x :: ((y ::_) as tl) ->
(if rev then x >= y else x <= y) && sorted ~rev tl (if rev then x >= y else x <= y) && sorted ~rev tl
let gen_str = Q.small_printable_string
*) *)
(*$Q & ~count:200 (*$Q & ~count:200
Q.(list_of_size Gen.(1 -- 20) (pair printable_string small_int)) \ Q.(list_of_size Gen.(1 -- 20) (pair gen_str small_int)) \
(fun l -> let t = String.of_list l in \ (fun l -> let t = String.of_list l in \
List.for_all (fun (k,_) -> \ List.for_all (fun (k,_) -> \
String.above k t |> Sequence.for_all (fun (k',v) -> k' >= k)) \ String.above k t |> Sequence.for_all (fun (k',v) -> k' >= k)) \
l) l)
Q.(list_of_size Gen.(1 -- 20) (pair printable_string small_int)) \ Q.(list_of_size Gen.(1 -- 20) (pair gen_str small_int)) \
(fun l -> let t = String.of_list l in \ (fun l -> let t = String.of_list l in \
List.for_all (fun (k,_) -> \ List.for_all (fun (k,_) -> \
String.below k t |> Sequence.for_all (fun (k',v) -> k' <= k)) \ String.below k t |> Sequence.for_all (fun (k',v) -> k' <= k)) \
l) l)
Q.(list_of_size Gen.(1 -- 20) (pair printable_string small_int)) \ Q.(list_of_size Gen.(1 -- 20) (pair gen_str small_int)) \
(fun l -> let t = String.of_list l in \ (fun l -> let t = String.of_list l in \
List.for_all (fun (k,_) -> \ List.for_all (fun (k,_) -> \
String.above k t |> Sequence.to_list |> sorted ~rev:false) \ String.above k t |> Sequence.to_list |> sorted ~rev:false) \
l) l)
Q.(list_of_size Gen.(1 -- 20) (pair printable_string small_int)) \ Q.(list_of_size Gen.(1 -- 20) (pair gen_str small_int)) \
(fun l -> let t = String.of_list l in \ (fun l -> let t = String.of_list l in \
List.for_all (fun (k,_) -> \ List.for_all (fun (k,_) -> \
String.below k t |> Sequence.to_list |> sorted ~rev:true) \ String.below k t |> Sequence.to_list |> sorted ~rev:true) \