Module Prepare_ast

module Prepare_ast: sig .. end

Prepare AST for E-ACSL generation.

More precisely, this module performs the following tasks:


val prepare : unit -> unit

Prepare the AST

val sound_verdict : unit -> Cil_types.varinfo
val is_libc_writing_memory_ref : (Cil_types.varinfo -> bool) Stdlib.ref