diff options
| author | Martin <martin.brain@cs.ox.ac.uk> | 2019-05-18 00:10:19 +0100 |
|---|---|---|
| committer | Andres Noetzli <noetzli@stanford.edu> | 2019-05-17 16:10:19 -0700 |
| commit | 5c38c59cb40df00e29cbd9d30495833f88c6d4fb (patch) | |
| tree | 5602ee8294a1e4df3bffc0452fe648706cd7748e /test/unit/theory | |
| parent | 62d361071ea54c9b7cba882313ab4dedef6f1286 (diff) | |
Add the problematic input from issue 2183 as a regression test (#3008)
Although CVC4's behaviour is actually correct, this is to make
things a bit clearer and prevent confusion in the future.
Diffstat (limited to 'test/unit/theory')
0 files changed, 0 insertions, 0 deletions