From b4178ad2b953651f7622021a4372adbe502e4ad2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9o=20Lam?= Date: Wed, 11 Nov 2020 00:58:30 +0100 Subject: [PATCH] tools/check: Only print mismatch details if they exist --- tools/check.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/check.py b/tools/check.py index 84421225..a4f8e816 100755 --- a/tools/check.py +++ b/tools/check.py @@ -44,7 +44,8 @@ def main() -> None: utils.print_error( f"function {utils.format_symbol_name_for_msg(func.decomp_name)} is marked as matching but does not match") a1, a2, reason = checker.get_mismatch() - sys.stderr.write(f" at {a1|0x7100000000:#x} : {reason}\n") + if a1 != -1: + sys.stderr.write(f" at {a1|0x7100000000:#x} : {reason}\n") failed = True elif func.status == utils.FunctionStatus.Equivalent or func.status == utils.FunctionStatus.NonMatching: if check_function(checker, func.addr, func.size, func.decomp_name):