mirror/mbedtls
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-04-24 15:02:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Exclude FStar and Hacl: Python port of 9b33e7d7d7426e3d7f27cd7d206765ae33e3e61f

Browse Source 
Signed-off-by: Yuto Takano <yuto.takano@arm.com>
This commit is contained in:
Yuto Takano 2021-08-05 20:22:59 +01:00
parent 062289c657
commit e77f699ed5
1 changed files with 3 additions and 2 deletions

5
tests/scripts/check-names.py

@ -348,6 +348,7 @@ class NameCheck(object):
""" """
UNDEFINED_SYMBOL = r"^\S+: +U |^$|^\S+:$" UNDEFINED_SYMBOL = r"^\S+: +U |^$|^\S+:$"
VALID_SYMBOL = r"^\S+( [0-9A-Fa-f]+)* . _*(?P<symbol>\w+)" VALID_SYMBOL = r"^\S+( [0-9A-Fa-f]+)* . _*(?P<symbol>\w+)"
EXCLUSIONS = ("FStar", "Hacl")
symbols = [] symbols = []
@ -363,8 +364,8 @@ class NameCheck(object):
for line in nm_output.splitlines(): for line in nm_output.splitlines():
if not re.match(UNDEFINED_SYMBOL, line): if not re.match(UNDEFINED_SYMBOL, line):
symbol = re.match(VALID_SYMBOL, line) symbol = re.match(VALID_SYMBOL, line)
if symbol: if symbol and not symbol.group("symbol").startswith(EXCLUSIONS):
symbols.append(symbol.group('symbol')) symbols.append(symbol.group("symbol"))
else: else:
self.log.error(line) self.log.error(line)