diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-10-14 14:21:32 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-14 14:21:32 -0700 |
| commit | 8c451415de55e27b24a204a0d35c07722bc832fc (patch) | |
| tree | b053eb3565b9a6256570ece65c381de14e81ebaf /test/regress/regress0/arr1.smtv1.smt2 | |
| parent | 366a361ad46e81972f5631fd5df8f725d0e2f4bc (diff) | |
Disable regression test for competition build (#3388)
This commit disables a regression test that was failing for the
competition build due to not emitting the expected error message.
Diffstat (limited to 'test/regress/regress0/arr1.smtv1.smt2')
0 files changed, 0 insertions, 0 deletions