summaryrefslogtreecommitdiff
path: root/Test/test17
Commit message (Expand)AuthorAge
* Remove old python testing scriptsGravatar Dan Liew2014-05-11
* For lit test infrastructure, disable running tests inGravatar Dan Liew2014-05-07
* added python scripts (work in unix and windows) for testing Z3 and CVC4 to ma...Gravatar Pantazis Deligiannis2013-07-07
* Initial set of files.Gravatar mikebarnett2009-07-15