projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c005a11) | patch
Disabling test/regress/regress0/push-pop/bug396.smt2. This takes 2m to run in debug...
authorTim King <taking@cs.nyu.edu>
Mon, 26 Nov 2012 17:01:48 +0000 (17:01 +0000)
committerTim King <taking@cs.nyu.edu>
Mon, 26 Nov 2012 17:01:48 +0000 (17:01 +0000)
commitf1390a66f5f2a9d9455346340282fbd5587327f8
treec120dc039eac85c614f450207964fdc21f6878b2tree
parentc005a1109982f13427b15e12501f6150fe2f7330commit | diff
Disabling test/regress/regress0/push-pop/bug396.smt2. This takes 2m to run in debug mode. This is too long for a regress0 test.
test/regress/regress0/push-pop/Makefile.am diff | blob | history