diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2024-02-02 17:54:41 +0100 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2024-02-02 17:54:41 +0100 |
| commit | a24c5f12d6d909898472f7208cbe16b086a001c9 (patch) | |
| tree | 64c25b6f537295b1529bff5d12a3fb0cac80d236 /tools | |
| parent | c6503a3ddcce2fdefc5c93c6901f26c761ae859b (diff) | |
| download | focaccia-a24c5f12d6d909898472f7208cbe16b086a001c9.tar.gz focaccia-a24c5f12d6d909898472f7208cbe16b086a001c9.zip | |
Basic reproducer generator setup
Co-authored-by: Alp Berkman <alp.berkman@no-reply.com> Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com>
Diffstat (limited to 'tools')
| -rwxr-xr-x[-rw-r--r--] | tools/capture_transforms.py | 2 | ||||
| -rwxr-xr-x[-rw-r--r--] | tools/convert.py | 2 | ||||
| -rwxr-xr-x[-rw-r--r--] | tools/verify_qemu.py | 2 |
3 files changed, 5 insertions, 1 deletions
diff --git a/tools/capture_transforms.py b/tools/capture_transforms.py index de35d86..5439b05 100644..100755 --- a/tools/capture_transforms.py +++ b/tools/capture_transforms.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 import argparse import logging diff --git a/tools/convert.py b/tools/convert.py index 27a8a4a..f21a2fa 100644..100755 --- a/tools/convert.py +++ b/tools/convert.py @@ -1,3 +1,5 @@ +#!/usr/bin/env python3 + import argparse import sys diff --git a/tools/verify_qemu.py b/tools/verify_qemu.py index da2e985..779b903 100644..100755 --- a/tools/verify_qemu.py +++ b/tools/verify_qemu.py @@ -1,3 +1,5 @@ +#!/usr/bin/env python3 + """ Spawn GDB, connect to QEMU's GDB server, and read test states from that. |