L | |
logic_printer_enabled [Cil.cilPrinter] |
Local logical annotation (function specifications and code annotations
are printed only if
logic_printer_enabled is set to true
|
V | |
verbose [Cil.cilPrinter] |
more info is displayed when on verbose mode.
|