projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09d8860) | patch
again, re-enabling integer/rational tests (though they still fail to compile on 32...
authorMorgan Deters <mdeters@gmail.com>
Tue, 30 Mar 2010 08:28:22 +0000 (08:28 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 30 Mar 2010 08:28:22 +0000 (08:28 +0000)
commit8c87c05ac56a5f29b2ae1e658f2d7d3b7b588163
tree674d85b15404f301bfcdadba8b651e62d687c390tree
parent09d8860f19b928114460386fa17847a8ffb02244commit | diff
again, re-enabling integer/rational tests (though they still fail to compile on 32-bit)
test/unit/Makefile.am diff | blob | history