[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 a72d6c474861f786fb9b83ef6c9ce9e2a264cb96
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Feb 29 23:35:47 2012 +0100

    FIX: 32 Bits compatible test

diff --git a/testsuite/src/DelayedLongProductTest.cc b/testsuite/src/DelayedLongProductTest.cc
index 5854da4..9303c08 100644
--- a/testsuite/src/DelayedLongProductTest.cc
+++ b/testsuite/src/DelayedLongProductTest.cc
@@ -79,18 +79,18 @@ BOOST_AUTO_TEST_CASE(test_less) {
   BOOST_CHECK_EQUAL((DelayedLongProduct(long_type(5)<<nhalf, 7) >
 		     long_type(36)<<nhalf), false);
 
-  BOOST_CHECK_EQUAL((DelayedLongProduct(5, long_type(7)<<32) >
+  BOOST_CHECK_EQUAL((DelayedLongProduct(long_type(5)<<16, long_type(7)<<16) >
 		     long_type(34)<<32), true);
-  BOOST_CHECK_EQUAL((DelayedLongProduct(5, long_type(7)<<32) >
+  BOOST_CHECK_EQUAL((DelayedLongProduct(long_type(5)<<16, long_type(7)<<16) >
 		     long_type(35)<<32), false);
-  BOOST_CHECK_EQUAL((DelayedLongProduct(5, long_type(7)<<32) >
+  BOOST_CHECK_EQUAL((DelayedLongProduct(long_type(5)<<16, long_type(7)<<16) >
 		     long_type(36)<<32), false);
 
-  BOOST_CHECK_EQUAL((DelayedLongProduct(3, long_type(1)<<32) >
+  BOOST_CHECK_EQUAL((DelayedLongProduct(long_type(3)<<16, long_type(1)<<16) >
 		     Long64From32BitsPair<4, 0>::get()), false);
-  BOOST_CHECK_EQUAL((DelayedLongProduct(4, long_type(1)<<32) >
+  BOOST_CHECK_EQUAL((DelayedLongProduct(long_type(4)<<16, long_type(1)<<16) >
 		     Long64From32BitsPair<4, 0>::get()), false);
-  BOOST_CHECK_EQUAL((DelayedLongProduct(5, long_type(1)<<32) >
+  BOOST_CHECK_EQUAL((DelayedLongProduct(long_type(5)<<16, long_type(1)<<16) >
 		     Long64From32BitsPair<4, 0>::get()), true);
 
 

-- 
polybori: Polynomials over Boolean Rings