about summary refs log tree commit diff stats
path: root/tools/verify_qemu.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Refactor tool handling to match flake systemTheofilos Augoustis2025-08-281-106/+0
|
* Migrate to nix flakes, uv and pyproject toml for buildsTheofilos Augoustis2025-08-271-1/+1
|
* Add hostname argument to `verify_qemu.py`Theofilos Augoustis2024-02-151-6/+6
|
* Basic reproducer generator setupTheofilos Augoustis2024-02-021-0/+2
| | | | | Co-authored-by: Alp Berkman <alp.berkman@no-reply.com> Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com>
* Verify QEMU by abstracting over inconsistencies in trace logs via matching ↵Theofilos Augoustis2024-01-301-10/+37
| | | | | | | algorithm Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
* Use symbolic execution to speed up QEMU testingTheofilos Augoustis2024-01-221-0/+77
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>