From 46f1d0221afd5ab51c5772cc08641b646901258e Mon Sep 17 00:00:00 2001 From: bjs Date: Sat, 18 May 2024 23:25:59 +0000 Subject: [PATCH] (litmus/linter) modifications to lint for toml-translator format --- litmus/linter.py | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/litmus/linter.py b/litmus/linter.py index 59575c1..99a8665 100644 --- a/litmus/linter.py +++ b/litmus/linter.py @@ -28,7 +28,7 @@ r"litmus_test_t\s+(?P.+?)\s*=\s*\{" r"\s*\"(?P.+?)\"\s*," r'\s*MAKE_THREADS\((?P\d+)\)\s*?,' - r'\s*MAKE_VARS\(VARS\)\s*?,' + r'\s*MAKE_VARS\(VARS(\s*,\s*pa\d+)*\)\s*?,' r'\s*MAKE_REGS\(REGS\)\s*?,' r'(?P[\s\S]*?)' r'\s*\}\s*;' @@ -58,7 +58,7 @@ C_FUN_PAT = ( r"void (?P.+)\(.+\)\s*\{" r"(?P[\s\S]*?)" - r"\s*\}" + r"^}" ) C_INIT_ST = ( @@ -73,7 +73,7 @@ def get_reg_names(asm): if not asm: return [] - return ['x{}'.format(i) for i in re.findall(r'(?<=(?