package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Internal temporary API: please do not use it, as it should be removed in a future version.

type results
val get_results : unit -> results
val set_results : results -> unit
val merge : results -> results -> results

Change the callstacks for the results for which this is meaningful. For technical reasons, the top of the callstack must currently be preserved.