projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94484dd) | patch
Committing tests to potentially discover an obscure CLN library issue on 32 bit platf...
authorTim King <taking@cs.nyu.edu>
Fri, 30 Nov 2012 22:28:46 +0000 (22:28 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 30 Nov 2012 22:28:46 +0000 (22:28 +0000)
commit3a49733d841b7f2a1c13c430b83a4c5d5d3a7a53
treeca9dd6b3019c9d6e9fb9dec77329617deb0c76d6tree
parent94484dda2d3fa6595ea3f82583f33f9106403e3ecommit | diff
Committing tests to potentially discover an obscure CLN library issue on 32 bit platforms. The issue is discussed here: ginac.de/CLN/cln_3.html#SEC15.
test/unit/util/integer_white.h diff | blob | history
test/unit/util/rational_white.h diff | blob | history