diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2017-05-10 00:34:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-10 00:34:45 +0200 |
| commit | caa17aa1f2c49647fd1f3215319c416649e8d9d5 (patch) | |
| tree | 77495b355b4c111852d6abb89aac73290fb640dd /example/symbol_exec/single_instr.py | |
| parent | f76c4aadc06141caf1bbd775a258928d73794a35 (diff) | |
| parent | 2eafe654c0bdedd6999f738c7b3266768f13e74a (diff) | |
| download | miasm-caa17aa1f2c49647fd1f3215319c416649e8d9d5.tar.gz miasm-caa17aa1f2c49647fd1f3215319c416649e8d9d5.zip | |
Merge pull request #553 from commial/feature/symbexec-assignblk
SymbolicExecutionEngine .state -> AssignBlock
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 |