tools/check: Improve error reporting

This commit is contained in:
Léo Lam 2020-11-11 15:15:13 +01:00
parent 96a8bb104e
commit b53135a885
No known key found for this signature in database
GPG Key ID: 0DF30F9081000741
1 changed files with 3 additions and 1 deletions

View File

@ -3,6 +3,8 @@
import sys
from typing import Optional
from colorama import Fore
import util.elf
import util.checker
from util import utils
@ -45,7 +47,7 @@ def main() -> None:
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()
if a1 != -1:
sys.stderr.write(f" at {a1|0x7100000000:#x} : {reason}\n")
sys.stderr.write(f" at {a1 | 0x7100000000:#x} : {Fore.CYAN}{reason}{Fore.RESET}\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):