Frama-C API - `Make`

Parameters

module Engine : Engine_Subset

type value = Engine.Val.t

type location = Engine.Loc.location

type state = Engine.Dom.t

val treat_statement_assigns : pos:Position.t -> Frama_c_kernel.Cil_types.assigns -> state -> state

val compute_using_specification : warn:bool -> (location, value) Eval.call -> Frama_c_kernel.Cil_types.spec -> state -> (Partition.key * state) list