about summary refs log tree commit diff stats
path: root/test/test_all.py
diff options
context:
space:
mode:
Diffstat (limited to 'test/test_all.py')
-rwxr-xr-xtest/test_all.py6
1 files changed, 3 insertions, 3 deletions
diff --git a/test/test_all.py b/test/test_all.py
index 4cb18241..4b97ffba 100755
--- a/test/test_all.py
+++ b/test/test_all.py
@@ -21,7 +21,7 @@ TAGS = {"regression": "REGRESSION", # Regression tests
         "long": "LONG", # Very time consumming tests
         "llvm": "LLVM", # LLVM dependency is required
         "gcc": "GCC", # GCC based tests
-        "z3": "Z3", # Z3 dependecy is needed
+        "z3": "Z3", # Z3 dependency is needed
         "qemu": "QEMU", # QEMU tests (several tests)
         "cparser": "CPARSER", # pycparser is needed
         "linux": "LINUX", # Test must be run on a Linux
@@ -847,7 +847,7 @@ By default, all tag are considered." % ", ".join(TAGS.keys()), default="")
                 continue
             if tag not in TAGS:
                 print "%(red)s[TAG]%(end)s" % cosmetics.colors, \
-                    "Unkown tag '%s'" % tag
+                    "Unknown tag '%s'" % tag
                 exit(-1)
             dest.append(TAGS[tag])
 
@@ -884,7 +884,7 @@ By default, all tag are considered." % ", ".join(TAGS.keys()), default="")
         config.write(open(coveragerc, 'w'))
 
         # Add arguments to tests command line
-        testset.add_additionnal_args(["-m", "coverage", "run", "--rcfile",
+        testset.add_additional_args(["-m", "coverage", "run", "--rcfile",
                                       coveragerc, "-a"])