projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 690bd63) | patch
Enabled more regress tests. Takes 26s on my machine to run a make -k check in debug...
authorTim King <taking@cs.nyu.edu>
Wed, 3 Feb 2010 19:19:36 +0000 (19:19 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 3 Feb 2010 19:19:36 +0000 (19:19 +0000)
commit41862bfee0f82649400db413a8d4a51dd82eb1b7
tree72c348c30fe2691ee96057c01cb217ad3a58daadtree
parent690bd6341c0ede1ff9edc30f8a8ce384fa936008commit | diff
Enabled more regress tests. Takes 26s on my machine to run a make -k check in debug mode.  All regress tests currently pass.
test/regress/Makefile.am diff | blob | history