diff options
| author | Ajax <commial@gmail.com> | 2015-03-23 19:46:49 +0100 |
|---|---|---|
| committer | Ajax <commial@gmail.com> | 2015-03-24 19:11:08 +0100 |
| commit | 06b18bb48ff174658e88765c037865d18e777aeb (patch) | |
| tree | cd1774079c392edeb331b74d4cd268e0ce96b8d8 /test/ir/translators/z3_ir.py | |
| parent | e2c1900a5b38082b6569138a36459ecf5778ad67 (diff) | |
| download | miasm-06b18bb48ff174658e88765c037865d18e777aeb.tar.gz miasm-06b18bb48ff174658e88765c037865d18e777aeb.zip | |
Translator: remove the mess with z3, and update Z3 translators and examples
Diffstat (limited to '')
| -rw-r--r-- | test/ir/translators/z3_ir.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/ir/translators/z3_ir.py b/test/ir/translators/z3_ir.py index 6e483d61..a4fa7410 100644 --- a/test/ir/translators/z3_ir.py +++ b/test/ir/translators/z3_ir.py @@ -3,7 +3,7 @@ import z3 from miasm2.core.asmbloc import asm_label from miasm2.expression.expression import * from miasm2.ir.translators.translator import Translator -from miasm2.ir.translators.z3_ir import TranslatorZ3, Z3Mem +from miasm2.ir.translators.z3_ir import Z3Mem # Some examples of use/unit tests. @@ -98,7 +98,7 @@ check_interp(model[mem.get_mem_array(32)], [(0xdeadbeef, 2), (0xdeadbeef + 3, 0)]) # -------------------------------------------------------------------------- -ez3 = TranslatorZ3.from_expr(e4, endianness=">") +ez3 = Translator.to_language("z3", endianness=">").from_expr(e4) memb = Z3Mem(endianness=">") z3_emem = memb.get(z3.BitVecVal(0xdeadbeef, 32), 32) |