Merge pull request #1606 from goblint/intdomain-split

Split `IntDomain`s into separate files
goblint · Dec 16, 2024 · d2f6584 · d2f6584
2 parents 38442a6 + ff77a63
commit d2f6584
Show file tree

Hide file tree

Showing 9 changed files with 3,828 additions and 3,785 deletions.
diff --git a/scripts/goblint-lib-modules.py b/scripts/goblint-lib-modules.py
@@ -48,6 +48,12 @@
 
     "MessageCategory", # included in Messages
     "PreValueDomain", # included in ValueDomain
+    "IntervalDomain", # included in IntDomain
+    "IntervalSetDomain", # included in IntDomain
+    "DefExcDomain", # included in IntDomain
+    "EnumsDomain", # included in IntDomain
+    "CongruenceDomain", # included in IntDomain
+    "IntDomTuple", # included in IntDomain
     "WitnessGhostVar", # included in WitnessGhost
 
     "ConfigVersion",