goblint

API

Library goblint.backtrace

• Goblint_backtrace Backtraces with custom marks.

Library goblint.build-info

• Goblint_build_info

Library goblint.lib

• Goblint_lib

Library goblint.sites

• Goblint_sites

Library goblint.timing

• Goblint_timing Profiling with custom hierarchical timed sections.

Library goblint_build_info_dune

• Goblint_build_info

Library goblint_build_info_js

• Goblint_build_info

Library goblint_sites_dune

• Goblint_sites

Library goblint_sites_js

• Goblint_sites