diff options
| author | Ajax <commial@gmail.com> | 2015-04-28 11:11:50 +0200 |
|---|---|---|
| committer | Ajax <commial@gmail.com> | 2015-04-28 14:05:49 +0200 |
| commit | f0f846aa072c677b19cd52080d83223d97a55d22 (patch) | |
| tree | 61f99f0f432071d643b2f9e00c974c3dcf62ea21 /miasm2/analysis/depgraph.py | |
| parent | 73d3f770882d73f7c3814a4dc95cde1b2055fbda (diff) | |
| download | miasm-f0f846aa072c677b19cd52080d83223d97a55d22.tar.gz miasm-f0f846aa072c677b19cd52080d83223d97a55d22.zip | |
DepGraph: Avoid failing if z3 is not present
Diffstat (limited to 'miasm2/analysis/depgraph.py')
| -rw-r--r-- | miasm2/analysis/depgraph.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/miasm2/analysis/depgraph.py b/miasm2/analysis/depgraph.py index f95e5240..69ff1204 100644 --- a/miasm2/analysis/depgraph.py +++ b/miasm2/analysis/depgraph.py @@ -2,7 +2,10 @@ import itertools from collections import namedtuple -import z3 +try: + import z3 +except ImportError: + pass import miasm2.expression.expression as m2_expr from miasm2.core.graph import DiGraph |