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/aitest1/Linear7.bpl | |
| 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/aitest1/Linear7.bpl')
0 files changed, 0 insertions, 0 deletions