Add titles to test output

This commit is contained in:
Ben Edgington 2021-02-05 08:20:33 +00:00
parent b4df409614
commit 190f95359b
5 changed files with 15 additions and 0 deletions

View File

@ -21,6 +21,8 @@
// This is -1 (the second root of unity) // This is -1 (the second root of unity)
uint64_t m1[] = {0xffffffff00000000L, 0x53bda402fffe5bfeL, 0x3339d80809a1d805L, 0x73eda753299d7d48L}; uint64_t m1[] = {0xffffffff00000000L, 0x53bda402fffe5bfeL, 0x3339d80809a1d805L, 0x73eda753299d7d48L};
void title(void) {;}
void fr_is_one_works(void) { void fr_is_one_works(void) {
TEST_CHECK(true == fr_is_one(&one)); TEST_CHECK(true == fr_is_one(&one));
} }
@ -153,6 +155,7 @@ void pairings_work(void) {
TEST_LIST = TEST_LIST =
{ {
{"BLST_UTIL_TEST", title},
{"fr_is_one_works", fr_is_one_works }, {"fr_is_one_works", fr_is_one_works },
{"fr_from_uint64_works", fr_from_uint64_works}, {"fr_from_uint64_works", fr_from_uint64_works},
{"fr_equal_works", fr_equal_works}, {"fr_equal_works", fr_equal_works},

View File

@ -21,6 +21,8 @@
#define NUM_ROOTS 32 #define NUM_ROOTS 32
void title(void) {;}
void roots_of_unity_is_the_expected_size(void) { void roots_of_unity_is_the_expected_size(void) {
TEST_CHECK(NUM_ROOTS == TEST_CHECK(NUM_ROOTS ==
sizeof(scale2_root_of_unity) / sizeof(scale2_root_of_unity[0])); sizeof(scale2_root_of_unity) / sizeof(scale2_root_of_unity[0]));
@ -114,6 +116,7 @@ void is_power_of_two_works(void) {
TEST_LIST = TEST_LIST =
{ {
{"FFT_COMMON_TEST", title},
{"roots_of_unity_is_the_expected_size", roots_of_unity_is_the_expected_size}, {"roots_of_unity_is_the_expected_size", roots_of_unity_is_the_expected_size},
{"roots_of_unity_are_plausible", roots_of_unity_are_plausible}, {"roots_of_unity_are_plausible", roots_of_unity_are_plausible},
{"reverse_works", reverse_works}, {"reverse_works", reverse_works},

View File

@ -39,6 +39,8 @@ const uint64_t inv_fft_expected[][4] =
{0xd8cda22e753b3117L, 0x880454ec72238f55L, 0xcaf6199fc14a5353L, 0x197df7c2f05866d4L} {0xd8cda22e753b3117L, 0x880454ec72238f55L, 0xcaf6199fc14a5353L, 0x197df7c2f05866d4L}
}; };
void title(void) {;}
void compare_sft_fft(void) { void compare_sft_fft(void) {
// Initialise: ascending values of i (could be anything), and arbitrary size // Initialise: ascending values of i (could be anything), and arbitrary size
unsigned int size = 12; unsigned int size = 12;
@ -111,6 +113,7 @@ void inverse_fft(void) {
TEST_LIST = TEST_LIST =
{ {
{"FFT_FR_TEST", title},
{"compare_sft_fft", compare_sft_fft}, {"compare_sft_fft", compare_sft_fft},
{"roundtrip_fft", roundtrip_fft}, {"roundtrip_fft", roundtrip_fft},
{"inverse_fft", inverse_fft}, {"inverse_fft", inverse_fft},

View File

@ -18,6 +18,8 @@
#include "debug_util.h" #include "debug_util.h"
#include "fft_g1.h" #include "fft_g1.h"
void title(void) {;}
void make_data(blst_p1 *out, uint64_t n) { void make_data(blst_p1 *out, uint64_t n) {
// Multiples of g1_gen // Multiples of g1_gen
if (n == 0) return; if (n == 0) return;
@ -70,6 +72,7 @@ void roundtrip_fft(void) {
TEST_LIST = TEST_LIST =
{ {
{"FFT_G1_TEST", title},
{"compare_sft_fft", compare_sft_fft}, {"compare_sft_fft", compare_sft_fft},
{"roundtrip_fft", roundtrip_fft}, {"roundtrip_fft", roundtrip_fft},
{ NULL, NULL } /* zero record marks the end of the list */ { NULL, NULL } /* zero record marks the end of the list */

View File

@ -29,6 +29,8 @@ void generate_setup(blst_p1 *s1, blst_p2 *s2, const blst_scalar *secret, const u
} }
} }
void title(void) {;}
void proof_single(void) { void proof_single(void) {
FFTSettings fs; FFTSettings fs;
KZGSettings ks; KZGSettings ks;
@ -69,6 +71,7 @@ void proof_single(void) {
TEST_LIST = TEST_LIST =
{ {
{"KZG_SINGLE_PRROFS_TEST", title},
{"proof_single", proof_single}, {"proof_single", proof_single},
{ NULL, NULL } /* zero record marks the end of the list */ { NULL, NULL } /* zero record marks the end of the list */
}; };