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
|
let () =
if true then (* Shrinking the margin a bit *)
Format.printf
"@[<v 2>@{<warning>@{<title>Warning@}@}@,@,\
\ These are @{<warning>NOT@} the Droids you are looking for!@,\
@,\
\ Some more text. Just more letters and words.@,\
\ All this text is left-aligned because it's part of the UI.@,\
\ It'll be easier for the user to read this message.@]@\n@."
let fooooooo =
"@\n\n\
\ [Perf Profiler Log] Function: '%s' @\n\
\ count trace id = %i @\n\
\ sum inclusive cpu time = %f@\n\
\ avg inclusive time = %f @\n\
\ sum exclusive cpu time = %f @\n\
\ avg exclusive_time = %f @\n\
\ inclusive p90 = %f @\n\
\ exclusive p90 = %f @\n\
\ inclusive p50 = %f @\n\
\ exclusive p50 = %f @\n\
\ inclusive p25 = %f @\n\
\ exclusive p25 = %f @\n"
let foooo =
Printf.sprintf
"%s\nUsage: infer %s [options]\nSee `infer%s --help` for more information."
let pp_sep fmt () = F.fprintf fmt ", @,\n"
let pp_sep fmt () = F.fprintf fmt ", @,\n\n"
let pp_sep fmt () = F.fprintf fmt ", @,\n\n\n"
let pp_sep fmt () = F.fprintf fmt ", @,@\n"
let pp_sep fmt () = F.fprintf fmt ", @,@\n@\n"
let pp_sep fmt () = F.fprintf fmt ", @,@\n@\n@\n"
let pp_sep fmt () = F.fprintf fmt ", @,\n@\n"
let pp_sep fmt () = F.fprintf fmt ", @,\n@\n\n"
let pp_sep fmt () = F.fprintf fmt ", @,\n@\n\n@\n\n"
let pp_sep fmt () = F.fprintf fmt ", @,\n@\n@;@\n"
let pp_sep fmt () = F.fprintf fmt ", @,\n@\n\n@,@\n"
let pp_sep fmt () = F.fprintf fmt ", @,\n@\n\n@\n\n"
let fooooooooo = Fooooo "[%a]\n"
let fooooooooo = Fooooo "[%a]@\n"
let fooooooooo = Fooooo "[%a]\n@\n"
let fooooooooo = Fooooo "[%a]@\n\n"
let fooo = Fooo "@\nFooooo: `%s`\n"
let fooooooooooo = "Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum."
let fooooooooooo = "Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.@;Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat.@;Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur.@;Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum."
let _ = "abc@,def\n\nghi"
let _ = "abc@,def\n\n ghi"
let _ = "abc@,def\n\n"
let _ = "abc@,def@\n\n"
let _ =
Pp.textf
"Failed to parse environment variable: %s=%s\n\
Permitted values: if-exists always never\n\
Default: %s"
var v (to_string default)
let _ =
Pp.textf
"Failed to parse environment variable: %s=%s \
Permitted values: if-exists always never \
Default: %s"
var v (to_string default)
|
