package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.0.0.tbz
sha256=2f4f2e25b765452f0e336941f35f6cb396d7c213a2d347abe5d35febc5159b1f
sha512=e96af4cad91f6985c8db93c194925853e96cad0ec1a0d9f4d32bbe16d3e5fa1e305f54be02839f21ba89ad2af0c2d5d7aa819ade221ce097dc4dbd0fcd8c8500
doc/goblint.lib/Goblint_lib/Goblintutil/index.html
Module Goblint_lib.Goblintutil
Globally accessible flags and utility functions.
Outputs information about what the goblin is doing
If this is true we output messages and collect accesses. This is set to true in control.ml before we verify the result (or already before solving if warn = 'early')
Command for assigning an id to a varinfo. All varinfos directly created by Goblint should be modified by this method
val rm_rf : Fpath.t -> unit
Remove directory and its content, as "rm -rf" would do.
val exe_dir : Fpath.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>