module Eval_slevel:sig
..end
Value analysis of statements and functions bodies
val signal_abort : unit -> unit
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