This library is unwrapped and provides the following top-level modules. For better context, see Goblint_lib which also documents these modules.
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.