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=3ac0f995261ec829a7bd042bf70fc29ac6379029eb9df30bcc044748eb4d2a56

val env_or_default : string -> string -> string option -> Filepath.Normalized.t

val cache : unit -> Filepath.Normalized.t

val config : unit -> Filepath.Normalized.t

val state : unit -> Filepath.Normalized.t