package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

sha256=a94384f00d53791cbb4b4d83ab41607bc71962d42461f02d71116c4ff6dca567

Sourceval update : unit -> unit

Sourceval on_update : (unit -> unit) -> unit

Sourceval reload : unit -> unit

Sourceval on_reload : (unit -> unit) -> unit

val run_and_prove : 
  Frama_c_gui.Design.main_window_extension_points ->
  GuiConfig.provers ->
  GuiSource.selection ->
  unit

val register : 
  main:Frama_c_gui.Design.main_window_extension_points ->
  configure_provers:(unit -> unit) ->
  unit