Add tests for polyspace; update config files with polyspace

melexis · Jun 26, 2024 · e67facd · e67facd
1 parent 86eb3f4
commit e67facd
Show file tree

Hide file tree

Showing 9 changed files with 40,881 additions and 20 deletions.
diff --git a/src/mlx/warnings/__init__.py b/src/mlx/warnings/__init__.py
@@ -4,6 +4,8 @@
     'CoverityChecker',
     'DoxyChecker',
     'JUnitChecker',
+    'PolyspaceChecker',
+    'PolyspaceCheck',
     'RobotChecker',
     'RobotSuiteChecker',
     'SphinxChecker',
@@ -21,5 +23,6 @@
 from .junit_checker import JUnitChecker
 from .regex_checker import CoverityChecker, DoxyChecker, SphinxChecker, XMLRunnerChecker
 from .robot_checker import RobotChecker, RobotSuiteChecker
+from .polyspace_checker import PolyspaceChecker, PolyspaceCheck
 from .warnings import WarningsPlugin, warnings_wrapper
 from .warnings_checker import WarningsChecker
diff --git a/tests/test_in/config_cq_description_format.json b/tests/test_in/config_cq_description_format.json
@@ -28,10 +28,7 @@
     "robot": {
         "enabled": false
     },
-    "code_prover": {
-        "enabled": false
-    },
-    "bug_finder": {
+    "polyspace": {
         "enabled": false
     }
 }
diff --git a/tests/test_in/config_example.json b/tests/test_in/config_example.json
@@ -41,10 +41,7 @@
             }
         ]
     },
-    "code_prover": {
-        "enabled": false
-    },
-    "bug_finder": {
+    "polyspace": {
         "enabled": false
     }
 }
diff --git a/tests/test_in/config_example_exclude.json b/tests/test_in/config_example_exclude.json
@@ -43,10 +43,7 @@
             }
         ]
     },
-    "code_prover": {
-        "enabled": false
-    },
-    "bug_finder": {
+    "polyspace": {
         "enabled": false
     }
 }
diff --git a/tests/test_in/config_example_robot.json b/tests/test_in/config_example_robot.json
@@ -50,10 +50,7 @@
             }
         ]
     },
-    "code_prover": {
-        "enabled": false
-    },
-    "bug_finder": {
+    "polyspace": {
         "enabled": false
     }
 }
diff --git a/tests/test_in/config_example_robot_invalid_suite.json b/tests/test_in/config_example_robot_invalid_suite.json
@@ -44,10 +44,7 @@
             }
         ]
     },
-    "code_prover": {
-        "enabled": false
-    },
-    "bug_finder": {
+    "polyspace": {
         "enabled": false
     }
 }
diff --git a/tests/test_in/polyspace_bug_finder.tsv b/tests/test_in/polyspace_bug_finder.tsv