package frama-c

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

This module links the E-ACSL's RTL to the user source code.

link prj links the RTL's AST contained in prj to the AST of the current project.

module Symbols : sig ... end

Tables that contain RTL's symbols. Useful to know whether some symbols is part of the RTL.