diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2020-12-07 17:28:54 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2020-12-24 17:15:46 +0100 |
| commit | e6ec952904419c73531ab62443ade23985317daf (patch) | |
| tree | cb7063e3958c2b7e65d29cb25bb38a64e6a2f060 /test/ir/symbexec.py | |
| parent | f178c253c4665cb3e495073168dc244782d07c17 (diff) | |
| download | miasm-e6ec952904419c73531ab62443ade23985317daf.tar.gz miasm-e6ec952904419c73531ab62443ade23985317daf.zip | |
Rename ira => LifterModelCall
Diffstat (limited to '')
| -rwxr-xr-x | test/ir/symbexec.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/ir/symbexec.py b/test/ir/symbexec.py index d627f4b9..5b4d19b2 100755 --- a/test/ir/symbexec.py +++ b/test/ir/symbexec.py @@ -20,8 +20,8 @@ class TestSymbExec(unittest.TestCase): loc_db = LocationDB() - ira = ir_x86_32(loc_db) - ircfg = ira.new_ircfg() + lifter_model_call = ir_x86_32(loc_db) + ircfg = lifter_model_call.new_ircfg() id_x = ExprId('x', 32) id_a = ExprId('a', 32) @@ -36,7 +36,7 @@ class TestSymbExec(unittest.TestCase): return id_x return super(CustomSymbExec, self).mem_read(expr) - sb = CustomSymbExec(ira, + sb = CustomSymbExec(lifter_model_call, { ExprMem(ExprInt(0x4, 32), 8): ExprInt(0x44, 8), ExprMem(ExprInt(0x5, 32), 8): ExprInt(0x33, 8), @@ -229,7 +229,7 @@ class TestSymbExec(unittest.TestCase): assert found - sb_empty = SymbolicExecutionEngine(ira) + sb_empty = SymbolicExecutionEngine(lifter_model_call) sb_empty.dump() |