Fix test_symbol_namespace

このコミットが含まれているのは:
Thom Wiggers 2020-10-01 09:17:34 +02:00
コミット 08154573f0
この署名に対応する既知のキーがデータベースに存在しません
GPGキーID: 001BB0A7CE26E363

ファイルの表示

@ -33,14 +33,14 @@ def test_symbol_namespaces(implementation, impl_path, test_dir, init, destr):
lines = out.strip().split("\n")
symbols = []
for line in lines:
if ' T ' in line or ' D ' in line or ' S ' in line:
if line.startswith("00"):
symbols.append(line)
namespace = implementation.namespace_prefix()
non_namespaced = []
for symbolstr in symbols:
*_, symtype, symbol = symbolstr.split()
if symtype in 'TR':
if symtype in 'TDRS':
if not (symbol.startswith(namespace) or
symbol.startswith('_' + namespace) or
# KeccakP-1600 for AVX2