X-Git-Url: https://git.ucc.asn.au/?p=ipdf%2Fcode.git;a=blobdiff_plain;f=src%2Ftests%2Farb.cpp;h=00bfefb301992ccd68e7c0509c647ba95793485d;hp=354c337801512e362675624d0a69c3a336f9662d;hb=87b1d05df45663252c86a03cb2c713c6dc3e9a98;hpb=6ad7fc3c833837713405b64a50e62dd128cb7a30 diff --git a/src/tests/arb.cpp b/src/tests/arb.cpp index 354c337..00bfefb 100644 --- a/src/tests/arb.cpp +++ b/src/tests/arb.cpp @@ -1,25 +1,55 @@ #include #include #include - +#include #include "arbint.h" using namespace std; using namespace IPDF; +#define TEST_CASES 100 + + int main(int argc, char ** argv) { - int64_t test[] = {12L, 5L}; - test[1] = 0xE000000000000000; - int64_t size = sizeof(test)/sizeof(int64_t); - - int64_t mul = 2L; - int64_t overflow = mul_digits(test, mul, size); - - for (int64_t i = 0; i < size; ++i) + + for (unsigned i = 0; i < TEST_CASES; ++i) { - printf("digit[%li] = %.16lx\n", i, test[i]); + Arbint::digit_t a = rand(); + Arbint::digit_t b = rand(); + + Arbint arb_a(a); + Arbint arb_b(b); + + Debug("Test %u: a = %li, b = %li", i, a, b); + + Debug("a < b = %d", a < b); + Debug("Arb a b = %d", a > b); + Debug("Arb a>b = %d", arb_a > arb_b); + assert((arb_a > arb_b) == (a > b)); + + Debug("a + b = %.16lx", a+b); + Debug("Arb a+b = %s", (arb_a+arb_b).DigitStr().c_str()); + assert((arb_a+arb_b).AsDigit() == a + b); + + Debug("a - b = %li %.16lx", (a-b), (a-b)); + Debug("Arb a-b = %s %.16lx", (arb_a-arb_b).DigitStr().c_str(), (arb_a-arb_b).AsDigit()); + assert((arb_a-arb_b).AsDigit() == a - b); + + Debug("a * b = %.16lx", a*b); + Debug("Arb a*b = %s", (arb_a*arb_b).DigitStr().c_str()); + assert((arb_a*arb_b).AsDigit() == a * b); + + Debug("a / b = %.16lx", a/b); + Debug("Arb a/b = %s", (arb_a/arb_b).DigitStr().c_str()); + assert((arb_a/arb_b).AsDigit() == a / b); + assert((arb_a%arb_b).AsDigit() == a % b); } - printf("Overflow is %.16lx\n", overflow); + printf("All single digit tests successful!\n"); + + return 0; }