Module Eval_slevel

module Eval_slevel: sig .. end
Value analysis of statements and functions bodies

val dkey_callbacks : Value_parameters.category
module Computer: 
functor (AnalysisParam : sig
val kf : Cil_types.kernel_function
val slevel : int
val initial_states : State_set.t
val active_behaviors : Eval_annots.ActiveBehaviors.t
val local_slevel_info : Local_slevel_types.local_slevel_info
end) -> sig .. end