Project

General

Profile

« Previous | Next » 

Revision 15c3e4e7

Added by LĂ©lio Brun almost 4 years ago

generic ACSL spec generation

View differences:

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