diff options
Diffstat (limited to 'test/expression/stp.py')
| -rwxr-xr-x | test/expression/stp.py | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/test/expression/stp.py b/test/expression/stp.py index 38bbf9c8..b97b0754 100755 --- a/test/expression/stp.py +++ b/test/expression/stp.py @@ -1,17 +1,18 @@ #! /usr/bin/env python2 #-*- coding:utf-8 -*- +from builtins import range import unittest class TestIrIr2STP(unittest.TestCase): def test_ExprOp_strcst(self): - from miasm2.expression.expression import ExprInt, ExprOp - from miasm2.ir.translators.translator import Translator + from miasm.expression.expression import ExprInt, ExprOp + from miasm.ir.translators.translator import Translator translator_smt2 = Translator.to_language("smt2") - args = [ExprInt(i, 32) for i in xrange(9)] + args = [ExprInt(i, 32) for i in range(9)] self.assertEqual( translator_smt2.from_expr(ExprOp('|', *args[:2])), r'(bvor (_ bv0 32) (_ bv1 32))') @@ -22,11 +23,11 @@ class TestIrIr2STP(unittest.TestCase): self.assertRaises(NotImplementedError, translator_smt2.from_expr, ExprOp('X', *args[:1])) def test_ExprSlice_strcst(self): - from miasm2.expression.expression import ExprInt, ExprOp - from miasm2.ir.translators.translator import Translator + from miasm.expression.expression import ExprInt, ExprOp + from miasm.ir.translators.translator import Translator translator_smt2 = Translator.to_language("smt2") - args = [ExprInt(i, 32) for i in xrange(9)] + args = [ExprInt(i, 32) for i in range(9)] self.assertEqual( translator_smt2.from_expr(args[0][1:2]), r'((_ extract 1 1) (_ bv0 32))') |