diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-09-18 12:04:10 -0700 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-18 14:04:10 -0500 |
| commit | 40b83fd9205a7eb772a2ac413f8a3641db1fb02c (patch) | |
| tree | 2758a25fcfc71f0dde86bd925f78babfce1f97e1 /configure.sh | |
| parent | 49bfeaad5a19bc86a3354681e19edd6ad3210795 (diff) | |
Add run script for next SMT-COMP (#3298)
Diffstat (limited to 'configure.sh')
0 files changed, 0 insertions, 0 deletions