1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
(test
(name test_list)
(libraries dscheck alcotest)
(build_if
(>= %{ocaml_version} 5))
(modules test_list))
(test
(name test_naive_counter)
(libraries dscheck alcotest)
(build_if
(>= %{ocaml_version} 5))
(modules test_naive_counter))
(test
(name test_michael_scott_queue)
(libraries dscheck alcotest)
(build_if
(>= %{ocaml_version} 5))
(modules test_michael_scott_queue michael_scott_queue))
(test
(name test_trace)
(libraries dscheck alcotest)
(build_if
(>= %{ocaml_version} 5))
(modules test_trace))
(rule
(action
(with-stdout-to
report_trace.output
(run ./test_trace.exe)))
(enabled_if
(>= %{ocaml_version} 5)))
(rule
(alias runtest)
(action
(diff report_trace.expected report_trace.output))
(enabled_if
(>= %{ocaml_version} 5)))
(test
(name test_conditional_nested)
(libraries dscheck alcotest)
(build_if
(>= %{ocaml_version} 5))
(modules test_conditional_nested))
(test
(name test_conditional_ssb)
(libraries dscheck alcotest)
(build_if
(>= %{ocaml_version} 5))
(modules test_conditional_ssb))
(test
(name test_commutative)
(libraries dscheck alcotest)
(build_if
(>= %{ocaml_version} 5))
(modules test_commutative))
(test
(name test_hb)
(libraries dscheck alcotest)
(build_if
(>= %{ocaml_version} 5))
(modules test_hb))
(executable
(name gen_program)
(libraries dscheck cmdliner)
(enabled_if
(>= %{ocaml_version} 5))
(modules gen_program))
|
