diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2019-11-12 12:47:19 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2019-11-12 15:10:44 +0100 |
| commit | c79fb842dd7b93d834952767d4abe7dd8b8a8061 (patch) | |
| tree | a392717fba9902180ef02baf0691a6d060f4ae97 /test/test_all.py | |
| parent | 4dc802e3544e669cfea1d6be8a01ca2a2600dfef (diff) | |
| download | miasm-c79fb842dd7b93d834952767d4abe7dd8b8a8061.tar.gz miasm-c79fb842dd7b93d834952767d4abe7dd8b8a8061.zip | |
Fix z3 import
Diffstat (limited to 'test/test_all.py')
| -rwxr-xr-x | test/test_all.py | 2 |
1 files changed, 1 insertions, 1 deletions
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: |