1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
open QCheck
let test_law structure impl law =
let name = Printf.sprintf "%s - %s: %s" structure impl law in
Test.make ~name
let make_tests test ms =
List.fold_left (fun ms' m -> test m @ ms') [] ms
let int_fun : (int -> int) fun_ arbitrary =
fun1 (Observable.make (fun _ -> "unrepresented")) int
let int_int_fun : (int -> int -> int) fun_ arbitrary =
fun2 (Observable.make (fun _ -> "unrepresented"))
(Observable.make (fun _ -> "unrepresented")) int
let int_list_fun : (int list -> int list) fun_ arbitrary =
fun1 (Observable.make (fun _ -> "unrepresented")) (list int)