diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-06-16 13:30:56 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-16 20:30:56 +0000 |
commit | 0f04a6c4cf618fb5914934bac5b5c6277f07127c (patch) | |
tree | 4f5451d64415a2c2b3602357a78d06c2a2823923 /test/regress/regress0/bug288c.smtv1.smt2 | |
parent | 6ae5647e754925a5c963d2b92c7255d7e0de6b03 (diff) |
Archive SMT-COMP 2021 run scripts (#6748)
This commit copies the run-script-smtcomp-current* scripts to run-script-smtcomp2021* to archive them.
Diffstat (limited to 'test/regress/regress0/bug288c.smtv1.smt2')
0 files changed, 0 insertions, 0 deletions