projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e761169) | patch
Fixing a bug in the integer unit tests when configured for GMP with assertions off.
authorTim King <taking@cs.nyu.edu>
Mon, 6 Feb 2012 18:32:52 +0000 (18:32 +0000)
committerTim King <taking@cs.nyu.edu>
Mon, 6 Feb 2012 18:32:52 +0000 (18:32 +0000)
commit2e086bd1c7d4352122b62ff5c975dc1c80fd018b
treededcae9af4f4ebf6856b0fc79ad74887b0005757tree
parente761169680c7611f5429f11bf5050370036dcff5commit | diff
Fixing a bug in the integer unit tests when configured for GMP with assertions off.
test/unit/util/integer_black.h diff | blob | history