Module Goblint_lib.ExpRelation

An analysis specification to answer questions about how two expressions relate to each other.

Currently this works purely syntactically on the expressions, and only for =_must.

Does not keep state, this is only formulated as an analysis to integrate well into framework