Module Goblint_build_infoSource

Goblint build info.

Sourceval ocaml_flambda : string

OCaml compiler flambda status.

Sourceval dune_profile : string

Dune profile.

Sourceval git_version : string

Goblint version from git.

Sourceval release_version : string

Goblint version from release archive.

Sourceval release_commit : string

Goblint git commit from release archive.

Sourceval version : string

Goblint version.

Sourceval statically_linked_libraries : (string * string option) list

Statically linked libraries with versions.

Sourceval datetime : string

Build date and time.