diff options
| author | Pierre Lalet <pierre@droids-corp.org> | 2019-11-12 20:46:46 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-12 20:46:46 +0000 |
| commit | b265c8af0cee47c039bad11153d1eb9ba8383f71 (patch) | |
| tree | a392717fba9902180ef02baf0691a6d060f4ae97 /test/test_all.py | |
| parent | 83e54bd2de945a36ab5ccd4cc5b94817d7cb0112 (diff) | |
| parent | c79fb842dd7b93d834952767d4abe7dd8b8a8061 (diff) | |
| download | miasm-b265c8af0cee47c039bad11153d1eb9ba8383f71.tar.gz miasm-b265c8af0cee47c039bad11153d1eb9ba8383f71.zip | |
Merge pull request #1088 from serpilliere/path_are_str
Path are str
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: |