diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-03-09 21:56:35 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-03-09 21:56:35 +0000 |
| commit | 35cc0861194d539d120a9622dc91366c825c834c (patch) | |
| tree | ba6818d51d26c55e52c30b8d45dfa8e01f28a5cb /test/regress/regress0/bug32.cvc | |
| parent | 6b7533224f7e8d69ebd86aeca1a59c39d8f3b0b4 (diff) | |
Adding the smallest of test cases from the smtlib.
Diffstat (limited to 'test/regress/regress0/bug32.cvc')
0 files changed, 0 insertions, 0 deletions