diff options
Diffstat (limited to 'test/arch')
| -rwxr-xr-x | test/arch/arm/sem.py | 2 | ||||
| -rwxr-xr-x | test/arch/msp430/sem.py | 2 | ||||
| -rwxr-xr-x | test/arch/x86/sem.py | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/test/arch/arm/sem.py b/test/arch/arm/sem.py index 01c536cd..1b14214e 100755 --- a/test/arch/arm/sem.py +++ b/test/arch/arm/sem.py @@ -29,7 +29,7 @@ def compute(asm, inputstate={}, debug=False): instr = mn.dis(code, "l") instr.offset = inputstate.get(PC, 0) interm.add_instr(instr) - symexec.emul_ir_blocks(instr.offset) + symexec.run_at(instr.offset) if debug: for k, v in symexec.symbols.items(): if regs_init.get(k, None) != v: diff --git a/test/arch/msp430/sem.py b/test/arch/msp430/sem.py index 4b5b0c7d..3b2c2f2e 100755 --- a/test/arch/msp430/sem.py +++ b/test/arch/msp430/sem.py @@ -27,7 +27,7 @@ def compute(asm, inputstate={}, debug=False): instr = mn.dis(code, mode) instr.offset = inputstate.get(PC, 0) interm.add_instr(instr) - symexec.emul_ir_blocks(instr.offset) + symexec.run_at(instr.offset) if debug: for k, v in symexec.symbols.items(): if regs_init.get(k, None) != v: diff --git a/test/arch/x86/sem.py b/test/arch/x86/sem.py index c08cf3f6..eb3c15c0 100755 --- a/test/arch/x86/sem.py +++ b/test/arch/x86/sem.py @@ -26,7 +26,7 @@ def symb_exec(interm, inputstate, debug): sympool = dict(regs_init) sympool.update(inputstate) symexec = SymbolicExecutionEngine(interm, sympool) - symexec.emul_ir_blocks(0) + symexec.run_at(0) if debug: for k, v in symexec.symbols.items(): if regs_init.get(k, None) != v: |