diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2020-12-07 18:04:11 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2020-12-24 17:15:46 +0100 |
| commit | 7d374b97a2c8f39ba9ac7095f3cade49f0ba0d4a (patch) | |
| tree | 94ce66fbedf50280fd163552a29c726200990921 /test | |
| parent | d3ddfeeadc459b30a42c73903c13123bcadfa9b8 (diff) | |
| download | focaccia-miasm-7d374b97a2c8f39ba9ac7095f3cade49f0ba0d4a.tar.gz focaccia-miasm-7d374b97a2c8f39ba9ac7095f3cade49f0ba0d4a.zip | |
Rename LifterModelCallMep
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: |