Frama-C:
Plug-ins:
Libraries:

Frama-C API - User_dirs

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

val cache : unit -> Filepath.Normalized.t

Where Frama-C should read/write cached files.

val config : unit -> Filepath.Normalized.t

Where Frama-C should read/write config files.

val state : unit -> Filepath.Normalized.t

Where Frama-C should read/write state files