diff options
| -rw-r--r-- | miasm/analysis/depgraph.py | 2 | ||||
| -rw-r--r-- | miasm/analysis/dse.py | 2 | ||||
| -rwxr-xr-x | test/test_all.py | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/miasm/analysis/depgraph.py b/miasm/analysis/depgraph.py index 80e94c7f..7113dd51 100644 --- a/miasm/analysis/depgraph.py +++ b/miasm/analysis/depgraph.py @@ -15,7 +15,7 @@ from miasm.expression.expression_helper import possible_values try: import z3 -except ImportError: +except: pass @total_ordering diff --git a/miasm/analysis/dse.py b/miasm/analysis/dse.py index 3f31f344..2c2b41f4 100644 --- a/miasm/analysis/dse.py +++ b/miasm/analysis/dse.py @@ -52,7 +52,7 @@ from collections import namedtuple try: import z3 -except ImportError: +except: z3 = None from future.utils import viewitems diff --git a/test/test_all.py b/test/test_all.py index 02bddb51..7fb43525 100755 --- a/test/test_all.py +++ b/test/test_all.py @@ -923,7 +923,7 @@ By default, all tag are considered." % ", ".join(list(TAGS)), default="") # Handle Z3 dependency try: import z3 - except ImportError: + except: print("%(red)s[Z3]%(end)s " % cosmetics.colors + \ "Z3 and its python binding are necessary for TranslatorZ3.") if TAGS["z3"] not in exclude_tags: |