Library goblint.incremental

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

Incremental

• CompareCIL Comparison of CIL files.
• CompareAST Comparison of CIL ASTs.
• CompareCFG Comparison of CFGs.
• UpdateCil Combination of CIL files using comparison results.
• MaxIdUtil Tracking of maximum CIL IDs in use.
• Serialize Serialization/deserialization of incremental analysis data.
• CilMaps Special maps used for incremental comparison.