package frama-c

  1. Overview
  2. Docs
package frama-c
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct