package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Main : sig ... end

Frama-C main interface.

val play_analysis : unit -> unit

Run all the Frama-C analyses. This function should be called only by toplevels.

  • since 29.0-Copper
val boot : unit -> unit

Start and define the Frama-C kernel main loop.

val set_toplevel : ((unit -> unit) -> unit) -> unit

Changes the toplevel function to run on boot

  • since 29.0-Copper
  • before 29.0-Copper

    it was provided in a different way in Db.Toplevel

OCaml

Innovation. Community. Security.