projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39b707a) | patch
Added this test back to avoid make check problems.
authorTim King <taking@cs.nyu.edu>
Mon, 1 Feb 2010 17:20:14 +0000 (17:20 +0000)
committerTim King <taking@cs.nyu.edu>
Mon, 1 Feb 2010 17:20:14 +0000 (17:20 +0000)
commit37304c767826ac212a9cc954538a71f5480449ca
treebf8806f2cd706d7c1e70caca34683405c9ea861dtree
parent39b707ad22813c184da61c3e2337359ca8061797commit | diff
Added this test back to avoid make check problems.
test/regress/comb2.shuffled-as.sat03-420.smt [new file with mode: 0644] blob