Eva.Eva_resultsSourceInternal temporary API: please do not use it, as it should be removed in a future version.
val get_results : unit -> resultsval set_results : results -> unitval change_callstacks :
(Frama_c_kernel.Value_types.callstack ->
Frama_c_kernel.Value_types.callstack) ->
results ->
resultsChange the callstacks for the results for which this is meaningful. For technical reasons, the top of the callstack must currently be preserved.
val eval_tlval_as_location :
?result:Frama_c_kernel.Cil_types.varinfo ->
Frama_c_kernel.Cvalue.Model.t ->
Frama_c_kernel.Cil_types.term ->
Frama_c_kernel.Locations.location