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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
(****************************************************************************)
(* the diy toolsuite *)
(* *)
(* Jade Alglave, University College London, UK. *)
(* Luc Maranget, INRIA Paris-Rocquencourt, France. *)
(* *)
(* Copyright 2013-present Institut National de Recherche en Informatique et *)
(* en Automatique and the authors. All rights reserved. *)
(* *)
(* This software is governed by the CeCILL-B license under French law and *)
(* abiding by the rules of distribution of free software. You can use, *)
(* modify and/ or redistribute the software under the terms of the CeCILL-B *)
(* license as circulated by CEA, CNRS and INRIA at the following URL *)
(* "http://www.cecill.info". We also give a copy in LICENSE.txt. *)
(****************************************************************************)
(* Debug tags *)
type t = {
solver : bool ;
lexer : bool ;
top : bool ;
mem : bool ;
monad : bool ;
barrier : bool ;
res : bool ;
rfm : bool ;
pretty : bool ;
mixed : bool ;
files : bool ;
timeout : bool ;
profile_cat: bool ;
profile_asl: bool ;
exc : bool ;
}
let tags =
[
"solver";
"lexer";
"top";
"mem";
"monad";
"barrier"; "model"; (* handier synonymous *)
"res";
"rfm";
"pretty";
"mixed";
"files";
"timeout";
"profile_cat";
"profile_asl";
"exception";
]
let none =
{
solver = false ;
lexer = false ;
top = false ;
mem = false ;
monad = false ;
barrier = false ;
res = false ;
rfm = false ;
pretty = false ;
mixed = false ;
files = false ;
timeout = false ;
profile_cat = false;
profile_asl = false;
exc = false ;
}
let parse t tag = match tag with
| "solver" -> Some { t with solver = true; }
| "lexer" -> Some { t with lexer = true; }
| "top" -> Some { t with top = true; }
| "mem" -> Some { t with mem = true; }
| "monad" -> Some { t with monad = true; }
| "barrier"|"model" -> Some { t with barrier = true; }
| "res" -> Some { t with res = true; }
| "rfm" -> Some { t with rfm = true; }
| "pretty" -> Some { t with pretty = true ;}
| "mixed" -> Some { t with mixed = true ;}
| "files"|"file" -> Some { t with files = true ;}
| "timeout" -> Some { t with timeout = true ;}
| "exception"|"exc" -> Some { t with exc = true ;}
| "profile_cat" -> Some { t with profile_cat = true }
| "profile_asl" -> Some { t with profile_asl = true }
| _ -> None
|
