about summary refs log tree commit diff stats
path: root/miasm_test.py
diff options
context:
space:
mode:
authorTheofilos Augoustis <theofilos.augoustis@gmail.com>2024-01-22 20:02:03 +0100
committerTheofilos Augoustis <theofilos.augoustis@gmail.com>2024-01-22 20:02:03 +0100
commitc8bb7528b8dc053b45d8c652663479f327273ef8 (patch)
tree06a1488549e2206784edd34e227a463ebf30b165 /miasm_test.py
parent605e12fc5cf0fb64e45f68378390a09aa28df2f9 (diff)
downloadfocaccia-c8bb7528b8dc053b45d8c652663479f327273ef8.tar.gz
focaccia-c8bb7528b8dc053b45d8c652663479f327273ef8.zip
Use symbolic execution to speed up QEMU testing
We don't need QEMU's log anymore, so we connect to a GDB server instance
that the user has to start with `$ qemu -g <port> ...`.

Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com>
Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
Diffstat (limited to 'miasm_test.py')
0 files changed, 0 insertions, 0 deletions