diff options
Diffstat (limited to '')
| -rwxr-xr-x | test/test_all.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/test_all.py b/test/test_all.py index d2ae4fce..23937366 100755 --- a/test/test_all.py +++ b/test/test_all.py @@ -265,7 +265,9 @@ testset += RegressionTest(["z3_ir.py"], base_dir="ir/translators", testset += RegressionTest(["smt2.py"], base_dir="ir/translators", tags=[TAGS["z3"]]) ## OS_DEP -for script in ["win_api_x86_32.py", +for script in ["common.py", + "win_api_x86_32.py", + os.path.join("linux", "stdlib.py"), ]: testset += RegressionTest([script], base_dir="os_dep", tags=[TAGS['gcc']]) |