Module Initial_state

module Initial_state: sig .. end
Creation of the initial state for Value

val initial_state_not_lib_entry : unit -> Cvalue.Model.t
val initial_state_lib_entry : unit -> Cvalue.Model.t
val initialize_var_using_type : Cil_types.varinfo -> Cvalue.Model.t -> Cvalue.Model.t
initialize_var_using_type varinfo state uses the type of varinfo to create an initial value in state.