summaryrefslogtreecommitdiff
path: root/Test/z3api/lit.local.cfg
Commit message (Expand)AuthorAge
* For lit test infrastructure, disable running tests inGravatar Dan Liew2014-05-07