diff options
author | Pantazis Deligiannis <pdeligia@me.com> | 2013-07-07 03:18:00 +0100 |
---|---|---|
committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-07-07 03:18:00 +0100 |
commit | a6ad13aab30cd2bdd9576c74bf58e7e2b9b855d5 (patch) | |
tree | b9a80e38fa71d779069b58f7a023e4ba95c28ef8 /Test/runtest.bat | |
parent | 5dcb1f8e4f28db2f449cb318fc8f114e2982cc7c (diff) |
added python scripts (work in unix and windows) for testing Z3 and CVC4 to many of the test suite dirs
Diffstat (limited to 'Test/runtest.bat')
-rwxr-xr-x[-rw-r--r--] | Test/runtest.bat | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Test/runtest.bat b/Test/runtest.bat index 5b3d45ae..5b3d45ae 100644..100755 --- a/Test/runtest.bat +++ b/Test/runtest.bat |