diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-07 18:43:45 +0100 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-07 18:43:45 +0100 |
commit | 7b38052a21916c67a75f57da3482276dcdf26ab1 (patch) | |
tree | aad0695043984dd368f84c2ba7db8df771218986 /Test/z3api | |
parent | 24900726a3934752401ff481ac773b2b1ddcb7d0 (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.cfg | 2 |
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 |