projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b75332) | patch
Adding the smallest of test cases from the smtlib.
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 9 Mar 2010 21:56:35 +0000 (21:56 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 9 Mar 2010 21:56:35 +0000 (21:56 +0000)
commit35cc0861194d539d120a9622dc91366c825c834c
treeba6818d51d26c55e52c30b8d45dfa8e01f28a5cbtree
parent6b7533224f7e8d69ebd86aeca1a59c39d8f3b0b4commit | diff
Adding the smallest of test cases from the smtlib.
test/regress/regress0/uf/NEQ016_size5.smt [new file with mode: 0644] blob
test/regress/regress0/uf/PEQ018_size4.smt [new file with mode: 0644] blob
test/regress/regress0/uf/SEQ032_size2.smt [new file with mode: 0644] blob
test/regress/regress0/uf/dead_dnd002.smt [new file with mode: 0644] blob
test/regress/regress0/uf/eq_diamond1.smt [new file with mode: 0644] blob
test/regress/regress0/uf/iso_brn001.smt [new file with mode: 0644] blob