package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Accessing the RTE plug-in easily.

RTEs of a given stmt, as a list of code annotations.

RTEs of a given exp, as a list of code annotations.

val get_state_selection_with_dependencies : unit -> Frama_c_kernel.State_selection.t

Equivalent to State_selection.with_dependencies RteGen.Api.self if the RTE plug-in is enabled, empty otherwise.