commit e77f699ed554b010b80f5f2acf5994772e6f77be
author Yuto Takano <yuto.takano@arm.com> Thu Aug 05 20:22:59 2021 +0100
committer Yuto Takano <yuto.takano@arm.com> Fri Aug 06 21:07:39 2021 +0100
tree 7d82b0d91541a3347927bcb8f403c0fd440cbc62
parent 062289c6578c75f04744cd69d96a883d44ae55f4

Exclude FStar and Hacl: Python port of 9b33e7d7d7426e3d7f27cd7d206765ae33e3e61f

Signed-off-by: Yuto Takano <yuto.takano@arm.com>

tests/scripts/check-names.py

diff --git a/tests/scripts/check-names.py b/tests/scripts/check-names.py
index 2bb1b02..2d1eb83 100755
--- a/tests/scripts/check-names.py
+++ b/tests/scripts/check-names.py
@@ -348,6 +348,7 @@
         """
         UNDEFINED_SYMBOL = r"^\S+: +U |^$|^\S+:$"
         VALID_SYMBOL = r"^\S+( [0-9A-Fa-f]+)* . _*(?P<symbol>\w+)"
+        EXCLUSIONS = ("FStar", "Hacl")
 
         symbols = []
 
@@ -363,8 +364,8 @@
         for line in nm_output.splitlines():
             if not re.match(UNDEFINED_SYMBOL, line):
                 symbol = re.match(VALID_SYMBOL, line)
-                if symbol:
-                    symbols.append(symbol.group('symbol'))
+                if symbol and not symbol.group("symbol").startswith(EXCLUSIONS):
+                    symbols.append(symbol.group("symbol"))
                 else:
                     self.log.error(line)