summaryrefslogtreecommitdiff
path: root/Test/z3api
diff options
context:
space:
mode:
authorGravatar Dan Liew <daniel.liew@imperial.ac.uk>2014-05-07 18:43:45 +0100
committerGravatar Dan Liew <daniel.liew@imperial.ac.uk>2014-05-07 18:43:45 +0100
commit7b38052a21916c67a75f57da3482276dcdf26ab1 (patch)
treeaad0695043984dd368f84c2ba7db8df771218986 /Test/z3api
parent24900726a3934752401ff481ac773b2b1ddcb7d0 (diff)
For lit test infrastructure, disable running tests in
AbsHoudini/ test17/ z3api/ because the alltests.txt claims they are "Postponed"
Diffstat (limited to 'Test/z3api')
-rw-r--r--Test/z3api/lit.local.cfg2
1 files changed, 2 insertions, 0 deletions
diff --git a/Test/z3api/lit.local.cfg b/Test/z3api/lit.local.cfg
new file mode 100644
index 00000000..94140b6b
--- /dev/null
+++ b/Test/z3api/lit.local.cfg
@@ -0,0 +1,2 @@
+# Do not run tests in this directory and below
+config.unsupported = True