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/rels/rel_transpose_4.cvc | |
| 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/rels/rel_transpose_4.cvc')
0 files changed, 0 insertions, 0 deletions