package frama-c-metacsl

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val translate : ?check_external:bool -> ?check_callee_assigns:Frama_c_kernel.Kernel_function.Set.t -> ?simpl:bool -> ?target_set:Meta_utils.StrSet.t -> ?number_assertions:bool -> ?prefix_meta:bool -> ?static_bindings:int -> unit -> Frama_c_kernel.Project.t
OCaml

Innovation. Community. Security.