Library goblint.constraint

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

Framework

Specification

• ConstrSys constraint system signatures.

Results

• VarQuery Queries for constraint variables related to semantic elements.