Commit | Line | Data |
---|---|---|
fca49f4f SK |
1 | type suite = |
2 | | All of {dir : string} | |
3 | | Book of {dir : string} | |
4 | | Micro | |
5 | ||
d3bdde4b | 6 | let () = |
fca49f4f SK |
7 | let suite = ref Micro in |
8 | let spec = ref [] in | |
9 | Arg.parse_dynamic | |
10 | spec | |
11 | (function | |
12 | | "micro" -> | |
13 | spec := [] | |
14 | | "book" -> | |
15 | spec := [("-dir", Arg.String (fun dir -> suite := Book {dir}), "")] | |
16 | | "all" -> | |
17 | spec := [("-dir", Arg.String (fun dir -> suite := All {dir}), "")] | |
18 | | _ -> () | |
19 | ) | |
20 | ""; | |
21 | let suite = | |
22 | match !suite with | |
23 | | All {dir} -> Tiger.Test_cases.all ~dir | |
24 | | Book {dir} -> Tiger.Test_cases.book ~dir | |
25 | | Micro -> Tiger.Test_cases.micro | |
26 | in | |
27 | Tiger.Test.run suite |