projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc4c03c) | patch
Remove a regression for which the portfolio takes forever (see bug 542).
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 4 Dec 2013 22:26:56 +0000 (17:26 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 4 Dec 2013 22:31:57 +0000 (17:31 -0500)
commit1ba2e4f4e13771a27be678bb10812ce1077174be
treed0a8d889136f56d1788a3e4a44a973486f6935f7tree
parentfc4c03cf3ed14952de2d926cdd0cc28d9db4e451commit | diff
Remove a regression for which the portfolio takes forever (see bug 542).
test/regress/regress0/arith/Makefile.am diff | blob | history