Index of class attributes


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.