sig
val new_counter : unit -> int
val cleanup_results : unit -> unit
module Make :
functor (Value : Datatype.S) (Domain : Abstract_domain.S) ->
sig
val store_computed_call :
Cil_types.kernel_function ->
Domain.t ->
Value.t Eval.or_bottom list ->
(Partition.key * Domain.t) list -> unit
val reuse_previous_call :
Cil_types.kernel_function ->
Domain.t ->
Value.t Eval.or_bottom list ->
((Partition.key * Domain.t) list * int) option
end
end