diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/arch/mep/ir/test_ir.py | 4 | ||||
| -rw-r--r-- | test/arch/mep/ir/ut_helpers_ir.py | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/test/arch/mep/ir/test_ir.py b/test/arch/mep/ir/test_ir.py index c62e5692..87389e30 100644 --- a/test/arch/mep/ir/test_ir.py +++ b/test/arch/mep/ir/test_ir.py @@ -6,7 +6,7 @@ from __future__ import print_function from miasm.core.utils import decode_hex from miasm.arch.mep.arch import mn_mep from miasm.arch.mep.regs import regs_init -from miasm.arch.mep.lifter_model_call import Lifter_MEPb, ir_a_mepb +from miasm.arch.mep.lifter_model_call import Lifter_MEPb, LifterModelCallMepb from miasm.expression.expression import ExprId, ExprInt, ExprMem from miasm.ir.symbexec import SymbolicExecutionEngine from miasm.core.locationdb import LocationDB @@ -35,7 +35,7 @@ class TestMisc(object): print("\nInternal representation:", iir) # Symbolic execution - sb = SymbolicExecutionEngine(ir_a_mepb(loc_db), regs_init) + sb = SymbolicExecutionEngine(LifterModelCallMepb(loc_db), regs_init) # Assign register values before symbolic evaluation for reg_expr_id, reg_expr_value in init_values: diff --git a/test/arch/mep/ir/ut_helpers_ir.py b/test/arch/mep/ir/ut_helpers_ir.py index 24b30abe..e4b2df43 100644 --- a/test/arch/mep/ir/ut_helpers_ir.py +++ b/test/arch/mep/ir/ut_helpers_ir.py @@ -11,7 +11,7 @@ from miasm.ir.symbexec import SymbolicExecutionEngine from miasm.core.locationdb import LocationDB from miasm.core.utils import Disasm_Exception from miasm.ir.ir import AssignBlock -from miasm.arch.mep.lifter_model_call import ir_a_mepb +from miasm.arch.mep.lifter_model_call import LifterModelCallMepb from miasm.expression.expression import ExprId, ExprInt, ExprOp, ExprMem, \ ExprAssign, ExprLoc @@ -44,7 +44,7 @@ def exec_instruction(mn_str, init_values, results, index=0, offset=0): ir.dst.name == "IRDst")] # Prepare symbolic execution - sb = SymbolicExecutionEngine(ir_a_mepb(loc_db), regs_init) + sb = SymbolicExecutionEngine(LifterModelCallMepb(loc_db), regs_init) # Assign int values before symbolic evaluation for expr_id, expr_value in init_values: |