diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-04-15 15:03:00 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-15 15:03:00 -0700 |
| commit | 8db8b76f4ee98e3166ee8bb2e1bad77380060edc (patch) | |
| tree | 3233a1d4c0d4555fbd7eba5d19c2a2a176143d83 /contrib/run-script-syguscomp2015 | |
| parent | ea865ade5ab89f54425182fc580b439a58204c43 (diff) | |
Initial version of run scripts for SMT-COMP 2019 (#2951)
For now, they are just copies of the 2018 version of the scripts.
Diffstat (limited to 'contrib/run-script-syguscomp2015')
0 files changed, 0 insertions, 0 deletions