package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Internal printer for Cabs2cil.

Like the standard Cil_printer, but instead of temporary variable names it prints the description that was provided when the temp was created. This is usually better for messages that are printed for end users, although you may want the temporary names for debugging.

val pp_exp : Stdlib.Format.formatter -> Cil_types.exp -> unit
val pp_lval : Stdlib.Format.formatter -> Cil_types.lval -> unit