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
Parameters: |
|
val compute : State_set.t -> unit
val results : unit -> Value_types.call_result
val merge_results : unit -> unit
val mark_degeneration : unit -> unit