diff options
| author | Tim Blazytko <tim.blazytko@rub.de> | 2016-01-07 16:02:49 +0100 |
|---|---|---|
| committer | Tim Blazytko <tim.blazytko@rub.de> | 2016-01-07 16:02:49 +0100 |
| commit | 5d2fef790bf92555e58f2725967b05de9f6627ca (patch) | |
| tree | 6054e154266fcbbec27a0f752f9b07f3e873d8f9 | |
| parent | 5b0efa8fa49052700c68ca558f2c91f32d11f634 (diff) | |
| download | miasm-5d2fef790bf92555e58f2725967b05de9f6627ca.tar.gz miasm-5d2fef790bf92555e58f2725967b05de9f6627ca.zip | |
smt2_translator: refactored translation of ExprAff to use smt2_helper for assert
| -rw-r--r-- | miasm2/ir/translators/smt2.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/miasm2/ir/translators/smt2.py b/miasm2/ir/translators/smt2.py index dd950074..7cb60310 100644 --- a/miasm2/ir/translators/smt2.py +++ b/miasm2/ir/translators/smt2.py @@ -239,7 +239,7 @@ class TranslatorSMT2(Translator): def from_ExprAff(self, expr): src = self.from_expr(expr.src) dst = self.from_expr(expr.dst) - return "(assert {})".format(smt2_eq(src, dst)) + return smt2_assert(smt2_eq(src, dst)) def to_smt2(self, exprs, logic="QF_ABV"): """ |