Library goblint.config

This library is unwrapped and provides the following top-level modules. For better context, see Goblint_lib which also documents these modules.

Framework

Configuration

• GobConfig Configuration access.
• AfterConfig Hooks which run after the runtime configuration is fully loaded.
• JsonSchema JSON schema validation.
• Options src/config/options.schema.json low-level access.