Add IntDomain exclusions to goblint-lib-modules.py

goblint · Oct 25, 2024 · db37e85 · db37e85
1 parent 15df3e9
commit db37e85
Showing 1 changed file with 6 additions and 0 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
 
     "ConfigVersion",
     "ConfigProfile",