Revision 15c3e4e7
Added by LĂ©lio Brun almost 4 years ago
src/log.ml | ||
---|---|---|
9 | 9 |
(* *) |
10 | 10 |
(********************************************************************) |
11 | 11 |
|
12 |
let report ?plugin:(modulename="") ?(verbose_level=Options.verbose_level) ~level:level p = |
|
12 |
let report |
|
13 |
?plugin:(modulename="") |
|
14 |
?(verbose_level=Options.verbose_level) |
|
15 |
~level:level p = |
|
13 | 16 |
if !verbose_level >= level then |
14 |
begin |
|
15 |
if modulename="" then |
|
16 |
Format.eprintf "%t@?" p |
|
17 |
else |
|
18 |
Format.eprintf "[%s] @[%t@]@?" modulename p |
|
19 |
end |
|
17 |
if modulename="" then |
|
18 |
Format.eprintf "%t@?" p |
|
19 |
else |
|
20 |
Format.eprintf "[%s] @[%t@]@?" modulename p |
|
20 | 21 |
|
21 | 22 |
(* Local Variables: *) |
22 | 23 |
(* compile-command:"make -C .." *) |
Also available in: Unified diff
generic ACSL spec generation