diff options
Diffstat (limited to 'example/symbol_exec/single_instr.py')
| -rw-r--r-- | example/symbol_exec/single_instr.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/example/symbol_exec/single_instr.py b/example/symbol_exec/single_instr.py index 3e418e5a..c31de738 100644 --- a/example/symbol_exec/single_instr.py +++ b/example/symbol_exec/single_instr.py @@ -37,5 +37,6 @@ symb.dump_mem() # Check final status eax, ebx = ira.arch.regs.EAX, ira.arch.regs.EBX -assert symb.symbols[eax] == symbols_init[ebx] -assert eax in symb.modified() +final_state = symb.as_assignblock() +assert final_state[eax] == symbols_init[ebx] +assert eax in final_state |