diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-11-28 08:23:18 +0000 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-11-28 08:23:34 +0000 |
| commit | 8b6451f6d7543dac900cd7949ce6e90d2360f8f3 (patch) | |
| tree | 0de48e878c1d7402e3b5443e4ab6181b6ebb33f4 | |
| parent | 9ae48813ee985992922facc2f81deff9e73aadf3 (diff) | |
| download | focaccia-8b6451f6d7543dac900cd7949ce6e90d2360f8f3.tar.gz focaccia-8b6451f6d7543dac900cd7949ce6e90d2360f8f3.zip | |
Improve handling of mismatches ta/streaming-transforms
| -rw-r--r-- | src/focaccia/qemu/_qemu_tool.py | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/focaccia/qemu/_qemu_tool.py b/src/focaccia/qemu/_qemu_tool.py index c6d6c1c..c9a471f 100644 --- a/src/focaccia/qemu/_qemu_tool.py +++ b/src/focaccia/qemu/_qemu_tool.py @@ -205,13 +205,6 @@ def collect_conc_trace(gdb: GDBServerStateIterator, strace: Trace) \ except StopIteration: warn(f'QEMU executed more states than native execution: {symb_i} vs {len(strace.addresses)-1}') break - # for _ in range(next_i+1): - # try: - # symb_i += 1 - # transform = next(trace) - # except StopIteration: - # warn(f'QEMU executed more states than native execution: {symb_i} vs {len(strace.addresses)-1}') - # break assert(cur_state.read_pc() == transform.addr) info(f'Validating instruction at address {hex(pc)}') |