diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2024-01-22 20:02:03 +0100 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2024-01-22 20:02:03 +0100 |
| commit | c8bb7528b8dc053b45d8c652663479f327273ef8 (patch) | |
| tree | 06a1488549e2206784edd34e227a463ebf30b165 /focaccia.py | |
| parent | 605e12fc5cf0fb64e45f68378390a09aa28df2f9 (diff) | |
| download | focaccia-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 'focaccia.py')
0 files changed, 0 insertions, 0 deletions