diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2016-07-11 11:04:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-11 11:04:49 +0200 |
| commit | 634926db3ebf03ca4be81d564144270a97c489b0 (patch) | |
| tree | 9e8221b2892670cf43f210764ae5e65f0cdac10c | |
| parent | 124b553dde4a336641b20c3630da9e9a73b86c75 (diff) | |
| parent | 2f65d7e3667be30ab4cab32d11cc1b2db5b62634 (diff) | |
| download | miasm-634926db3ebf03ca4be81d564144270a97c489b0.tar.gz miasm-634926db3ebf03ca4be81d564144270a97c489b0.zip | |
Merge pull request #392 from shanehuntley/master
Explicitly compare z3 expression to None.
Diffstat (limited to '')
| -rw-r--r-- | miasm2/ir/translators/z3_ir.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/miasm2/ir/translators/z3_ir.py b/miasm2/ir/translators/z3_ir.py index 79099520..e0460cc4 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -141,7 +141,7 @@ class TranslatorZ3(Translator): for subexpr, start, stop in args: sube = self.from_expr(subexpr) e = z3.Extract(stop-start-1, 0, sube) - if res: + if res != None: res = z3.Concat(e, res) else: res = e |