diff options
| author | Camille Mougey <camille.mougey@cea.fr> | 2015-01-23 17:26:35 +0100 |
|---|---|---|
| committer | Camille Mougey <camille.mougey@cea.fr> | 2015-01-23 17:26:35 +0100 |
| commit | 4ed9736a17347662a89997f6e2afa1d09af7d3ab (patch) | |
| tree | a227646711de6c6a538867a53fbc2fe3a46a3fa3 /test/test_all.py | |
| parent | d9eb63d9c463743e839bf3255476166cb996d693 (diff) | |
| download | miasm-4ed9736a17347662a89997f6e2afa1d09af7d3ab.tar.gz miasm-4ed9736a17347662a89997f6e2afa1d09af7d3ab.zip | |
TestAll: Add an empty space between ']' and z3 warning message
Diffstat (limited to '')
| -rw-r--r-- | 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 cb0adf64..70ab8e66 100644 --- a/test/test_all.py +++ b/test/test_all.py @@ -372,7 +372,7 @@ By default, no tag is ommited." % ", ".join(TAGS.keys()), default="") try: import z3 except ImportError: - print "%(red)s[Z3]%(end)s" % cosmetics.colors + \ + print "%(red)s[Z3]%(end)s " % cosmetics.colors + \ "Z3 and its python binding are necessary for TranslatorZ3." if TAGS["z3"] not in exclude_tags: exclude_tags.append(TAGS["z3"]) |