Check for double underscores: Python port of 712f7a804e391737b0e9d2593abe291f4ccb0303

Signed-off-by: Yuto Takano <yuto.takano@arm.com>
diff --git a/tests/scripts/check-names.py b/tests/scripts/check-names.py
index 5285485..35fda61 100755
--- a/tests/scripts/check-names.py
+++ b/tests/scripts/check-names.py
@@ -469,6 +469,8 @@
         for item_match in self.parse_result[group_to_check]:
             if not re.match(check_pattern, item_match.name):
                 problems.append(PatternMismatch(check_pattern, item_match))
+            if re.match(r".*__.*", item_match.name):
+                problems.append(PatternMismatch("double underscore", item_match))
         
         if problems:
             self.set_return_code(1)