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.py7
1 files changed, 6 insertions, 1 deletions
diff --git a/test/test_all.py b/test/test_all.py
index a69ec229..d1ccb19f 100755
--- a/test/test_all.py
+++ b/test/test_all.py
@@ -6,12 +6,15 @@ import os
 import platform
 import time
 import tempfile
+import platform
 
 from utils.test import Test
 from utils.testset import TestSet
 from utils import cosmetics, multithread
 from multiprocessing import Queue
 
+is_win = platform.system() == "Windows"
+
 testset = TestSet("../")
 TAGS = {"regression": "REGRESSION", # Regression tests
         "example": "EXAMPLE", # Examples
@@ -99,6 +102,8 @@ for script in ["x86/sem.py",
         if jitter in blacklist.get(script, []):
             continue
         tags = [TAGS[jitter]] if jitter in TAGS else []
+        if is_win and script.endswith("mn_div.py"):
+            continue
         testset += ArchUnitTest(script, jitter, base_dir="arch", tags=tags)
 
 testset += ArchUnitTest("x86/unit/access_xmm.py", "python", base_dir="arch")
@@ -653,7 +658,7 @@ for strategy in ["code-cov", "branch-cov", "path-cov"]:
     testset += ExampleSymbolExec(["dse_strategies.py",
                                   Example.get_sample("simple_test.bin"),
                                   strategy],
-                                 tags=[TAGS["z3"]])
+                                  tags=[TAGS["z3"]])
 
 ## Jitter
 class ExampleJitter(Example):