diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-02-07 15:36:00 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-02-07 15:36:00 -0800 |
| commit | 06ffa4bb0d308a0675786bf7b6341d5fbcb84035 (patch) | |
| tree | c71cec3f2a0f8d4876bfcb3542077d63fd2c3e2d /src/printer/smt2/smt2_printer.cpp | |
| parent | 248b977790b429ebfd22481462193e3e35c57ce2 (diff) | |
Remove invalid regression test
The regression test bug497.cvc uses subrange typing, a feature that we decided not to support.
This commit removes the test.
Diffstat (limited to 'src/printer/smt2/smt2_printer.cpp')
0 files changed, 0 insertions, 0 deletions