Module Eval_slevel

module Eval_slevel: sig .. end

Value analysis of statements and functions bodies with slevel.

val signal_abort : unit -> unit

Mark the analysis as aborted. It will be stopped at the next safe point

module Computer: functor (AnalysisParam : sig
val kf : Cil_types.kernel_function
val initial_states : State_set.t
val active_behaviors : Eval_annots.ActiveBehaviors.t
end) -> sig .. end