diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-06-14 21:04:44 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-06-14 21:04:44 -0400 |
| commit | 6ce92a7e312cda1b1990082043589412aea3df5a (patch) | |
| tree | cb5a68a74da4c4b59d1212851b3f61e8bb08ef32 | |
| parent | 5bfc5ba6ff591b3384cf5a357db3eed5ab7977df (diff) | |
dummy commit to mark adding crpytominisat to configure in competition binary
| -rwxr-xr-x | contrib/run-script-smtcomp2015-assertions | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/run-script-smtcomp2015-assertions b/contrib/run-script-smtcomp2015-assertions index 914d97045..f0b6c1d18 100755 --- a/contrib/run-script-smtcomp2015-assertions +++ b/contrib/run-script-smtcomp2015-assertions @@ -1,6 +1,7 @@ #!/bin/bash cvc4=./cvc4-assertions + # Attempt to run each benchmark 1-5 min depending on numconfigs # quanitifers get 5 min / benchmark # quantifier free uf, arith, arrays get 1 min / benchmark |