[SCM] polybori: Polynomials over Boolean Rings branch, upstream-hg, updated. b4a5cffaa908c53e1d958a42110f8c4dad853aa3

[Alexander Dreyer]

The following commit has been merged in the upstream-hg branch:
commit ba8274a07ccb55db5f1bb73fa94cc5018ccf9207
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Feb 28 15:46:09 2012 +0100

    ADD test for Long64From32BitsPair

diff --git a/testsuite/src/DelayedLongProductTest.cc b/testsuite/src/DelayedLongProductTest.cc
index 3800134..3ba38cc 100644
--- a/testsuite/src/DelayedLongProductTest.cc
+++ b/testsuite/src/DelayedLongProductTest.cc
@@ -85,9 +85,12 @@ BOOST_AUTO_TEST_CASE(test_less) {
   BOOST_CHECK_EQUAL((DelayedLongProduct(5, long_type(7)<<32) >
 		     long_type(36)<<32), false);
 
-  BOOST_CHECK_EQUAL((DelayedLongProduct(5, long_type(7)<<32) >
-		     long_type(36)<<32), false);
-
+  BOOST_CHECK_EQUAL((DelayedLongProduct(3, long_type(1)<<32) >
+		     Long64From32BitsPair<4, 0>::get()), false);
+  BOOST_CHECK_EQUAL((DelayedLongProduct(4, long_type(1)<<32) >
+		     Long64From32BitsPair<4, 0>::get()), false);
+  BOOST_CHECK_EQUAL((DelayedLongProduct(5, long_type(1)<<32) >
+		     Long64From32BitsPair<4, 0>::get()), true);
 
 
 }

-- 
polybori: Polynomials over Boolean Rings