diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-06-03 18:16:00 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-06-03 18:16:00 -0400 |
commit | 0fde4ed8bcaa5dabd92ba9079455ca12df9ba2ec (patch) | |
tree | 9ca4b5ca3bbd104a3ca373faf27a5aabff6b58e1 /contrib/run-script-smtcomp2015 | |
parent | a929cf6933fdecbf1f1a8fc3bd12afd8dd59704c (diff) |
experimental run scripts
Diffstat (limited to 'contrib/run-script-smtcomp2015')
-rwxr-xr-x[-rw-r--r--] | contrib/run-script-smtcomp2015 | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/contrib/run-script-smtcomp2015 b/contrib/run-script-smtcomp2015 index 3fc8ccec5..3fc8ccec5 100644..100755 --- a/contrib/run-script-smtcomp2015 +++ b/contrib/run-script-smtcomp2015 |