Add IntDomain exclusions to goblint-lib-modules.py

sim642 · sim642 · commit db37e858017d · 2024-10-25T17:25:13.000+03:00
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
 
     "ConfigVersion",
     "ConfigProfile",
