From e77f699ed554b010b80f5f2acf5994772e6f77be Mon Sep 17 00:00:00 2001 From: Yuto Takano Date: Thu, 5 Aug 2021 20:22:59 +0100 Subject: [PATCH] Exclude FStar and Hacl: Python port of 9b33e7d7d7426e3d7f27cd7d206765ae33e3e61f Signed-off-by: Yuto Takano --- tests/scripts/check-names.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/tests/scripts/check-names.py b/tests/scripts/check-names.py index 2bb1b0201..2d1eb8359 100755 --- a/tests/scripts/check-names.py +++ b/tests/scripts/check-names.py @@ -348,6 +348,7 @@ class NameCheck(object): """ UNDEFINED_SYMBOL = r"^\S+: +U |^$|^\S+:$" VALID_SYMBOL = r"^\S+( [0-9A-Fa-f]+)* . _*(?P\w+)" + EXCLUSIONS = ("FStar", "Hacl") symbols = [] @@ -363,8 +364,8 @@ class NameCheck(object): 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)