about summary refs log tree commit diff stats
path: root/tools/verify_qemu.py
diff options
context:
space:
mode:
authorTheofilos Augoustis <theofilos.augoustis@gmail.com>2024-02-02 17:54:41 +0100
committerTheofilos Augoustis <theofilos.augoustis@gmail.com>2024-02-02 17:54:41 +0100
commita24c5f12d6d909898472f7208cbe16b086a001c9 (patch)
tree64c25b6f537295b1529bff5d12a3fb0cac80d236 /tools/verify_qemu.py
parentc6503a3ddcce2fdefc5c93c6901f26c761ae859b (diff)
downloadfocaccia-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 '')
-rwxr-xr-x[-rw-r--r--]tools/verify_qemu.py2
1 files changed, 2 insertions, 0 deletions
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.