Frama-C API - Make
Parameters
module Engine : Engine_SubsetSignature
type state = Engine.Dom.tval assign : pos:Position.t -> state -> Eval.lval -> Eval.exp -> state Eval.or_bottomval assume : pos:Position.t -> state -> Eval.exp -> bool -> state Eval.or_bottomval call : pos:Position.local -> Eval.lval option -> Eval.lhost -> Eval.exp list -> state -> state Engine_sig.call_resultval check_unspecified_sequence : pos:Position.t -> state -> (Frama_c_kernel.Cil_types.stmt * Eval.lval list * Eval.lval list * Eval.lval list * Frama_c_kernel.Cil_types.stmt Stdlib.ref list) list -> unit Eval.or_bottomval enter_scope : pos:Position.t -> Eva_ast_types.varinfo list -> state -> state