diff options
Diffstat (limited to 'src')
| -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)}') |