package frama-c-rpp

You can search for identifiers within the package.

in-package search v0.2.0

Class `Rpp.generation_of_proof_system`Source

inherit Frama_c_kernel.Visitor.generic_frama_c_visitor

method add_new_global : Frama_c_kernel.Cil_types.global -> unit