package frama-c

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

Module E_ACSL.Translate_predicatesSource

exception No_simple_translation of Frama_c_kernel.Cil_types.predicate
  • raises Typing_error

    when the given predicate cannot be typed (something wrong happened with this predicate).

  • raises Not_yet

    when the given predicate contains an unsupported construct.