Frama-C:
Plug-ins:
Libraries:

Frama-C API - System_config

Information about the environment

module Version : sig ... end
module Share : sig ... end

Unless you are working in the kernel of Frama-C, you should not use this.

module Lib : sig ... end

Unless you are working in the kernel of Frama-C, you should not use this.

module Plugins : sig ... end

Unless you are working in the kernel of Frama-C, you should not use this.

module Preprocessor : sig ... end

Unless you are working in the kernel of Frama-C, you should not use this.

module User_dirs : sig ... end

Default user directories Unless you are working in the kernel of Frama-C, you should not use this.

val is_gui : bool

Is the Frama-C GUI running?