diff options
| author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2020-04-22 07:06:24 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-22 07:06:24 -0500 |
| commit | da73f99910a25fca342c0ba1d8ec19de6c3cefda (patch) | |
| tree | 724e6b2b3061b2eb57f0814537bfb2d687947e40 /contrib | |
| parent | 2a38d482462fdf30376c984e7a82c99d08e75f92 (diff) | |
Convert V2.5 SMT regressions to V2.6. (#4319)
This commit converts all v2.5 smt2 regressions to v2.6 (except for regress/regress0/lang_opts_2_5.smt2).
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions