diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-11-06 17:07:31 +0000 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-11-06 17:23:55 +0000 |
| commit | 337ccd2a6bce915d7f149df707796e51f886b7b8 (patch) | |
| tree | 8a99c305d0f27a50a70c2d4f4894e8f7f17cb15b | |
| parent | c4be9a1bcfa2e0153e1637f79108c43a743baa3c (diff) | |
| download | focaccia-337ccd2a6bce915d7f149df707796e51f886b7b8.tar.gz focaccia-337ccd2a6bce915d7f149df707796e51f886b7b8.zip | |
Implement basic logging support for QEMU validator ta/speculative-tracing
| -rw-r--r-- | src/focaccia/tools/_qemu_tool.py | 5 | ||||
| -rwxr-xr-x | src/focaccia/tools/validate_qemu.py | 4 |
2 files changed, 8 insertions, 1 deletions
diff --git a/src/focaccia/tools/_qemu_tool.py b/src/focaccia/tools/_qemu_tool.py index 0e34dad..2c7a1de 100644 --- a/src/focaccia/tools/_qemu_tool.py +++ b/src/focaccia/tools/_qemu_tool.py @@ -22,7 +22,7 @@ from focaccia.utils import print_result from validate_qemu import make_argparser, verbosity -logger = logging.getLogger('focaccia-validator') +logger = logging.getLogger('focaccia-qemu-validator') debug = logger.debug info = logger.info warn = logger.warning @@ -306,6 +306,9 @@ def collect_conc_trace(gdb: GDBServerStateIterator, \ def main(): args = make_argparser().parse_args() + + logging_level = getattr(logging, args.error_level.upper(), logging.INFO) + logging.basicConfig(level=logging_level, force=True) try: gdb_server = GDBServerStateIterator(args.remote) diff --git a/src/focaccia/tools/validate_qemu.py b/src/focaccia/tools/validate_qemu.py index edef9ae..e834a6d 100755 --- a/src/focaccia/tools/validate_qemu.py +++ b/src/focaccia/tools/validate_qemu.py @@ -18,6 +18,7 @@ necessary logic to pass them to `qemu_tool.py`. import os import sys +import logging import argparse import sysconfig import subprocess @@ -104,6 +105,9 @@ def main(): if not args.guest_arch: argparser.error('--guest-arch is required when --use-socket is specified') + logging_level = getattr(logging, args.error_level.upper(), logging.INFO) + logging.basicConfig(level=logging_level, force=True) + # QEMU plugin interface start_validation_server(args.symb_trace, args.output, |