package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.0.1.tbz
sha256=dba2b664c7c125687e708e871d83fbfb6ba6d9ee98d235b4850d9a238caa84de
sha512=529987cde39691ad9e955000a3603e89c1c8cf14ed5e8b4cd3a7fc26e47d016aff571b472e2329725133c46f8d0cb45a05b88994eeffaa221a4d31b4c543adcd
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)"
>