Merge pull request #1606 from goblint/intdomain-split

Split `IntDomain`s into separate files

Author: sim642

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",