From d71685cd11cbdb58b239432316edeace731d1ea8 Mon Sep 17 00:00:00 2001 From: lloyd Date: Thu, 9 Oct 2008 06:20:21 +0000 Subject: More diagnostics from GF(p) test failures --- checks/gfpmath.cpp | 22 +++++++++++++++------- 1 file changed, 15 insertions(+), 7 deletions(-) (limited to 'checks/gfpmath.cpp') diff --git a/checks/gfpmath.cpp b/checks/gfpmath.cpp index 1c9f39611..bf9ba6119 100644 --- a/checks/gfpmath.cpp +++ b/checks/gfpmath.cpp @@ -122,7 +122,7 @@ void test_gfp_div_small_numbers() { std::cout << '.' << std::flush; - std::string s_prime = "5"; + std::string s_prime = "13"; BigInt bi_prime(s_prime); std::string s_value_a = "2"; BigInt bi_value_a(s_value_a); @@ -150,6 +150,17 @@ void test_gfp_div_small_numbers() BOOST_CHECK_MESSAGE(gfp_b.get_value() == s_value_b, "GFpElement has changed while division operation"); GFpElement inverse_b = inverse(gfp_b); GFpElement res_div_alternative = gfp_a * inverse_b; + + if(res_div_m != res_div_alternative) + { + std::cout << "a/b != a*b^-1 where\n" + << "a = " << gfp_a << "\n" + << "b = " << gfp_b << "\n" + << "b^-1 = " << inverse_b << "\n" + << "a*b^-1 = " << res_div_alternative << "\n" + << "a/b = " << res_div_n << "\n"; + } + BOOST_CHECK_MESSAGE(res_div_m == res_div_alternative, "a/b is not as equal to a * b^-1"); //cout << "Div-result transformed:" << res_div_m.get_value() << endl; //cout << "Div-result untransformed:" << res_div_n.get_value() << endl; @@ -219,7 +230,8 @@ void test_gfp_mult() GFpElement res_mult_n = gfp_a * gfp_c; BOOST_CHECK(!res_mult_n.is_trf_to_mres()); - BOOST_CHECK(res_mult_n.get_value() == res_mult_m.get_value()); + if(res_mult_n != res_mult_m) + std::cout << "n = " << res_mult_n << " != m = " << res_mult_m << "\n"; } void test_gfp_div() @@ -692,17 +704,13 @@ u32bit do_gfpmath_tests(Botan::RandomNumberGenerator& rng) test_deep_montgm(); - std::cout << "\nrest\n"; - - test_gfp_div_small_numbers(); test_gfp_mult(); + test_gfp_div_small_numbers(); test_gfp_div(); test_more_gfp_div(); test_gfp_shared_vals(); test_gfpel_ass_op(); - std::cout << "\ndone\n"; - return 0; } #else -- cgit v1.2.3