Module Backend__Ondemand.LocalCache
val remove : IR.Procname.t -> unit
Remove an element from the cache of ondemand results
Backend__Ondemand.LocalCache
val remove : IR.Procname.t -> unit
Remove an element from the cache of ondemand results