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-smtcomp2015-assertions | |
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-smtcomp2015-assertions')
0 files changed, 0 insertions, 0 deletions