module Eval_slevel:sig
..end
Mark the analysis as aborted. It will be stopped at the next safe point
val dkey_callbacks : Log.category
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