Add warning when Polyspace checker is used with other checkers

melexis · Nov 25, 2024 · 7912233 · 7912233
1 parent 03dec47
commit 7912233
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/mlx/warnings/warnings.py b/src/mlx/warnings/warnings.py
@@ -118,6 +118,8 @@ def check_logfile(self, file):
         if not self.activated_checkers:
             print("No checkers activated. Please use activate_checker function")
         elif "polyspace" in self.activated_checkers:
+            if len(self.activated_checkers) > 1:
+                raise WarningsConfigError("Polyspace checker cannot be combined with other warnings checkers")
             self.activated_checkers["polyspace"].check(file)
         else:
             content = file.read()