diff options
| author | Paul Duncan <pabs@pablotron.org> | 2023-09-01 23:15:25 -0400 | 
|---|---|---|
| committer | Paul Duncan <pabs@pablotron.org> | 2023-09-01 23:15:25 -0400 | 
| commit | 8befad529c077149c83c65d1e0000c575e9f1a06 (patch) | |
| tree | e942b97a7aa916950bc09283affecf4b6fe31113 | |
| parent | e23ca862bbe2d97675277dde443fbef498db771f (diff) | |
| download | sha3-8befad529c077149c83c65d1e0000c575e9f1a06.tar.xz sha3-8befad529c077149c83c65d1e0000c575e9f1a06.zip | |
sha3.c: remove extraneous whitespace
| -rw-r--r-- | sha3.c | 110 | 
1 files changed, 55 insertions, 55 deletions
| @@ -1,6 +1,6 @@  //  // FIPS202 (SHA-3) implementation. -//  +//  #include <stdbool.h> // true, false  #include <stdint.h> // uint64_t @@ -359,7 +359,7 @@ static void dump_state(FILE *f, const uint64_t a[static 25]) {  static void test_theta(void) {    // src: https://csrc.nist.gov/CSRC/media/Projects/Cryptographic-Standards-and-Guidelines/documents/examples/SHA3-256_Msg30.pdf    uint64_t a[25] = { [0] = 0x00000001997b5853ULL, [16] = 0x8000000000000000ULL }; -  const uint8_t exp[] = {  +  const uint8_t exp[] = {      0x52, 0x58, 0x7B, 0x99, 0x01, 0x00, 0x00, 0x00,  0x53, 0x58, 0x7B, 0x99, 0x01, 0x00, 0x00, 0x00,      0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,      0xA6, 0xB0, 0xF6, 0x32, 0x03, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, @@ -386,7 +386,7 @@ static void test_theta(void) {  }  static void test_rho(void) { -  uint8_t a[] = {  +  uint8_t a[] = {      0x52, 0x58, 0x7B, 0x99, 0x01, 0x00, 0x00, 0x00,  0x53, 0x58, 0x7B, 0x99, 0x01, 0x00, 0x00, 0x00,      0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,      0xA6, 0xB0, 0xF6, 0x32, 0x03, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, @@ -588,7 +588,7 @@ static void test_sha3_224(void) {        0x6b, 0x4e, 0x03, 0x42, 0x36, 0x67, 0xdb, 0xb7,        0x3b, 0x6e, 0x15, 0x45, 0x4f, 0x0e, 0xb1, 0xab,        0xd4, 0x59, 0x7f, 0x9a, 0x1b, 0x07, 0x8e, 0x3f, -      0x5b, 0x5a, 0x6b, 0xc7,  +      0x5b, 0x5a, 0x6b, 0xc7,      },    }, {      .name = "asdf", @@ -608,7 +608,7 @@ static void test_sha3_224(void) {        0x5d, 0x1d, 0xb4, 0xe4, 0x7c, 0x0c, 0x4a, 0x42,        0x45, 0xb9, 0x0d, 0x18, 0x55, 0xb0, 0x7c, 0xb1,        0x6f, 0xb9, 0x40, 0xc5, 0x00, 0x76, 0xc1, 0xfd, -      0x2a, 0xc2, 0x17, 0xfe,  +      0x2a, 0xc2, 0x17, 0xfe,      },    }, {      .name = "a-135", @@ -618,7 +618,7 @@ static void test_sha3_224(void) {        0xf9, 0xf2, 0x8c, 0x21, 0xa2, 0xb0, 0x88, 0x4b,        0xbd, 0x35, 0x94, 0xca, 0xe8, 0x2b, 0xf8, 0x11,        0xc0, 0xc1, 0xed, 0xe4, 0x27, 0xe0, 0x83, 0xd5, -      0x57, 0x6e, 0x90, 0x9d,  +      0x57, 0x6e, 0x90, 0x9d,      },    }, {      .name = "a-136", @@ -628,7 +628,7 @@ static void test_sha3_224(void) {        0x96, 0x13, 0x6a, 0x6a, 0x09, 0x44, 0x33, 0xb4,        0xaa, 0x85, 0x5f, 0x16, 0x38, 0x29, 0xa2, 0xce,        0x6b, 0xca, 0x7d, 0x56, 0xcf, 0xd2, 0x16, 0x3b, -      0x47, 0xf1, 0xf1, 0xc4,  +      0x47, 0xf1, 0xf1, 0xc4,      },    }, {      .name = "ff-256", @@ -655,7 +655,7 @@ static void test_sha3_224(void) {        0xb6, 0x53, 0x4d, 0x8b, 0xee, 0xdf, 0xb5, 0xed,        0x3f, 0x95, 0x3b, 0x09, 0xd1, 0x2f, 0xc3, 0x8f,        0x3d, 0x8b, 0x0b, 0xea, 0x9d, 0x80, 0xbd, 0x1e, -      0x25, 0xc9, 0xfc, 0x35,  +      0x25, 0xc9, 0xfc, 0x35,      },    }, {      .name = "a-210", @@ -665,7 +665,7 @@ static void test_sha3_224(void) {        0x03, 0x05, 0x4a, 0xb0, 0xa3, 0x37, 0x99, 0xbe,        0x2b, 0x17, 0xc8, 0x2b, 0x3a, 0x13, 0x90, 0x05,        0x2e, 0x49, 0xdf, 0x31, 0x6d, 0x85, 0x15, 0x2d, -      0x74, 0x66, 0xab, 0x57,  +      0x74, 0x66, 0xab, 0x57,      },    }}; @@ -696,7 +696,7 @@ static void test_sha3_256(void) {        0xa7, 0xff, 0xc6, 0xf8, 0xbf, 0x1e, 0xd7, 0x66,        0x51, 0xc1, 0x47, 0x56, 0xa0, 0x61, 0xd6, 0x62,        0xf5, 0x80, 0xff, 0x4d, 0xe4, 0x3b, 0x49, 0xfa, -      0x82, 0xd8, 0x0a, 0x4b, 0x80, 0xf8, 0x43, 0x4a,  +      0x82, 0xd8, 0x0a, 0x4b, 0x80, 0xf8, 0x43, 0x4a,      },    }, {      .name = "asdf", @@ -706,7 +706,7 @@ static void test_sha3_256(void) {        0xdd, 0x27, 0x81, 0xf4, 0xc5, 0x1b, 0xcc, 0xdb,        0xe2, 0x3e, 0x4d, 0x39, 0x8b, 0x8a, 0x82, 0x26,        0x1f, 0x58, 0x5c, 0x27, 0x8d, 0xbb, 0x4b, 0x84, -      0x98, 0x9f, 0xea, 0x70, 0xe7, 0x67, 0x23, 0xa9,  +      0x98, 0x9f, 0xea, 0x70, 0xe7, 0x67, 0x23, 0xa9,      },    }, {      .name = "a-134", @@ -763,7 +763,7 @@ static void test_sha3_256(void) {        0xea, 0xa5, 0x7c, 0x69, 0x9a, 0x7a, 0x61, 0x4f,        0x9d, 0x96, 0x1e, 0x42, 0xd8, 0xb1, 0x2a, 0x93,        0x54, 0x6e, 0x8e, 0x80, 0xd3, 0x1f, 0x5c, 0xfc, -      0xc4, 0x3f, 0x95, 0x39, 0xed, 0x06, 0x30, 0x7a,  +      0xc4, 0x3f, 0x95, 0x39, 0xed, 0x06, 0x30, 0x7a,      },    }, {      .name = "a-210", @@ -773,7 +773,7 @@ static void test_sha3_256(void) {        0xb4, 0x12, 0xbd, 0x70, 0xce, 0x67, 0xeb, 0x59,        0x0b, 0xb2, 0x25, 0x09, 0xef, 0x4e, 0x68, 0x7e,        0x02, 0xb4, 0x8e, 0x07, 0xd2, 0xbb, 0xd7, 0xbb, -      0x9a, 0xfb, 0x58, 0x70, 0xfd, 0x14, 0xc1, 0x13,  +      0x9a, 0xfb, 0x58, 0x70, 0xfd, 0x14, 0xc1, 0x13,      },    }}; @@ -806,7 +806,7 @@ static void test_sha3_384(void) {        0xc5, 0x1a, 0x50, 0xaa, 0xaa, 0x94, 0xfc, 0x61,        0x99, 0x5e, 0x71, 0xbb, 0xee, 0x98, 0x3a, 0x2a,        0xc3, 0x71, 0x38, 0x31, 0x26, 0x4a, 0xdb, 0x47, -      0xfb, 0x6b, 0xd1, 0xe0, 0x58, 0xd5, 0xf0, 0x04,  +      0xfb, 0x6b, 0xd1, 0xe0, 0x58, 0xd5, 0xf0, 0x04,      },    }, {      .name = "asdf", @@ -818,7 +818,7 @@ static void test_sha3_384(void) {        0xd3, 0x20, 0x38, 0xf9, 0x58, 0xcd, 0xbb, 0x59,        0xf2, 0x6b, 0x0f, 0xfd, 0x1c, 0x36, 0x57, 0x61,        0x83, 0xe1, 0xc2, 0xca, 0x33, 0x57, 0xca, 0x1e, -      0x33, 0x3a, 0x11, 0xaf, 0xac, 0x8a, 0xed, 0xe6,  +      0x33, 0x3a, 0x11, 0xaf, 0xac, 0x8a, 0xed, 0xe6,      },    }, {      .name = "a-134", @@ -830,7 +830,7 @@ static void test_sha3_384(void) {        0xef, 0x43, 0x14, 0xa5, 0x9a, 0xd7, 0xba, 0x6f,        0xb1, 0x0f, 0x0b, 0x11, 0xbe, 0x7b, 0x4a, 0xf3,        0xfd, 0xe3, 0xe9, 0x54, 0x07, 0x81, 0xc2, 0x39, -      0xfa, 0x4c, 0x1f, 0x60, 0x44, 0xf3, 0x1d, 0xa9,  +      0xfa, 0x4c, 0x1f, 0x60, 0x44, 0xf3, 0x1d, 0xa9,      },    }, {      .name = "a-135", @@ -842,7 +842,7 @@ static void test_sha3_384(void) {        0x3c, 0xc4, 0x73, 0xdc, 0x34, 0x7c, 0x5e, 0xa8,        0xa8, 0x13, 0xd8, 0x86, 0xb3, 0xaa, 0x8f, 0x8d,        0xca, 0xb6, 0x1a, 0x23, 0x62, 0x37, 0xd9, 0x4d, -      0xe4, 0x04, 0xcd, 0x66, 0x60, 0x62, 0x43, 0xf9,  +      0xe4, 0x04, 0xcd, 0x66, 0x60, 0x62, 0x43, 0xf9,      },    }, {      .name = "a-136", @@ -854,7 +854,7 @@ static void test_sha3_384(void) {        0x4d, 0x95, 0x89, 0xde, 0x3a, 0x53, 0xac, 0xc9,        0xb4, 0x27, 0x58, 0x04, 0x82, 0xe3, 0x05, 0x94,        0x88, 0x88, 0xc8, 0xfa, 0x6d, 0x06, 0x9c, 0x5e, -      0x6a, 0x89, 0x9a, 0xa3, 0x4a, 0x9a, 0xf1, 0x5a,  +      0x6a, 0x89, 0x9a, 0xa3, 0x4a, 0x9a, 0xf1, 0x5a,      },    }, {      .name = "ff-256", @@ -883,7 +883,7 @@ static void test_sha3_384(void) {        0x45, 0x66, 0x33, 0xb1, 0x30, 0x49, 0xac, 0x84,        0x36, 0x04, 0xc9, 0xb6, 0xc3, 0xab, 0x09, 0xc3,        0x5c, 0xf8, 0x8c, 0xcb, 0xf7, 0x61, 0xc5, 0x64, -      0x7c, 0x92, 0x2b, 0xcc, 0x9b, 0x37, 0x5a, 0x6b,  +      0x7c, 0x92, 0x2b, 0xcc, 0x9b, 0x37, 0x5a, 0x6b,      },    }, {      .name = "a-210", @@ -895,7 +895,7 @@ static void test_sha3_384(void) {        0x3b, 0x15, 0xcd, 0x28, 0x58, 0x92, 0x66, 0x14,        0x5a, 0x92, 0xd6, 0x50, 0xfa, 0x58, 0xef, 0x4f,        0xdf, 0xa3, 0x4e, 0x9e, 0x2f, 0x0e, 0xa8, 0x7a, -      0x67, 0x32, 0x8f, 0x68, 0x9a, 0x6b, 0x8f, 0x04,  +      0x67, 0x32, 0x8f, 0x68, 0x9a, 0x6b, 0x8f, 0x04,      },    }}; @@ -930,7 +930,7 @@ static void test_sha3_512(void) {        0x15, 0xb2, 0x12, 0x3a, 0xf1, 0xf5, 0xf9, 0x4c,        0x11, 0xe3, 0xe9, 0x40, 0x2c, 0x3a, 0xc5, 0x58,        0xf5, 0x00, 0x19, 0x9d, 0x95, 0xb6, 0xd3, 0xe3, -      0x01, 0x75, 0x85, 0x86, 0x28, 0x1d, 0xcd, 0x26,  +      0x01, 0x75, 0x85, 0x86, 0x28, 0x1d, 0xcd, 0x26,      },    }, {      .name = "asdf", @@ -944,7 +944,7 @@ static void test_sha3_512(void) {        0x3c, 0xa8, 0xbe, 0xef, 0x28, 0x75, 0x6d, 0xce,        0x27, 0xb8, 0x99, 0x08, 0x67, 0xc4, 0x57, 0x7a,        0x25, 0x35, 0xe7, 0xe3, 0xb7, 0x51, 0x41, 0x39, -      0x9c, 0xa1, 0xa9, 0x4c, 0xc8, 0x4b, 0x0e, 0xb9,  +      0x9c, 0xa1, 0xa9, 0x4c, 0xc8, 0x4b, 0x0e, 0xb9,      },    }, {      .name = "a-134", @@ -958,7 +958,7 @@ static void test_sha3_512(void) {        0x9c, 0xf3, 0x12, 0x0b, 0x81, 0x46, 0x89, 0xbc,        0x62, 0xb7, 0x72, 0x0f, 0x4e, 0x4c, 0x99, 0x3d,        0xa0, 0x84, 0x08, 0x27, 0xf6, 0x95, 0x03, 0x8a, -      0x82, 0x18, 0x69, 0xe8, 0xa6, 0x27, 0x60, 0xe8,  +      0x82, 0x18, 0x69, 0xe8, 0xa6, 0x27, 0x60, 0xe8,      },    }, {      .name = "a-135", @@ -972,7 +972,7 @@ static void test_sha3_512(void) {        0x13, 0x58, 0x26, 0xd9, 0xd2, 0x3e, 0x97, 0x5c,        0xb9, 0x28, 0x3e, 0x7d, 0x23, 0x6e, 0xf9, 0x8a,        0x80, 0x45, 0x1d, 0xca, 0x8e, 0x31, 0x1f, 0x52, -      0x09, 0x63, 0x08, 0xb2, 0xc8, 0xd7, 0x0c, 0xc7,  +      0x09, 0x63, 0x08, 0xb2, 0xc8, 0xd7, 0x0c, 0xc7,      },    }, {      .name = "a-136", @@ -986,7 +986,7 @@ static void test_sha3_512(void) {        0xde, 0x7a, 0xe3, 0x6a, 0x62, 0xaa, 0xdc, 0x00,        0xa7, 0x04, 0xd7, 0x30, 0xb5, 0x2b, 0xda, 0x19,        0x1b, 0x72, 0x95, 0x1e, 0x2a, 0xfc, 0x9b, 0x6f, -      0xb6, 0x82, 0x47, 0x87, 0xb2, 0x08, 0x62, 0x57,  +      0xb6, 0x82, 0x47, 0x87, 0xb2, 0x08, 0x62, 0x57,      },    }, {      .name = "ff-256", @@ -1017,7 +1017,7 @@ static void test_sha3_512(void) {        0x90, 0xf1, 0xdd, 0x5c, 0x80, 0x1d, 0x91, 0x03,        0xfe, 0x65, 0x7d, 0x23, 0x63, 0xbd, 0xb2, 0x66,        0xe7, 0x90, 0xb1, 0x89, 0x0b, 0x3d, 0xd5, 0x79, -      0xdc, 0xa7, 0xf9, 0x1f, 0x5f, 0x4d, 0x98, 0x49,  +      0xdc, 0xa7, 0xf9, 0x1f, 0x5f, 0x4d, 0x98, 0x49,      },    }, {      .name = "a-210", @@ -1031,7 +1031,7 @@ static void test_sha3_512(void) {        0xed, 0xe8, 0x54, 0x64, 0xcf, 0x69, 0x44, 0x63,        0xff, 0x0e, 0x56, 0xf2, 0x8f, 0x04, 0xbf, 0x85,        0xc0, 0x85, 0xe1, 0x17, 0x6a, 0x47, 0xd7, 0x3b, -      0xf2, 0x8b, 0xdb, 0xa0, 0x4f, 0x4a, 0xe7, 0x61,  +      0xf2, 0x8b, 0xdb, 0xa0, 0x4f, 0x4a, 0xe7, 0x61,      },    }}; @@ -1060,7 +1060,7 @@ static void test_shake128(void) {      .len = 0,      .exp = {        0x7f, 0x9c, 0x2b, 0xa4, 0xe8, 0x8f, 0x82, 0x7d, -      0x61, 0x60, 0x45, 0x50, 0x76, 0x05, 0x85, 0x3e,  +      0x61, 0x60, 0x45, 0x50, 0x76, 0x05, 0x85, 0x3e,      },    }, {      .name = "asdf", @@ -1068,7 +1068,7 @@ static void test_shake128(void) {      .len = 4,      .exp = {        0xef, 0x02, 0x2c, 0xc5, 0x3c, 0x74, 0xb3, 0x28, -      0x43, 0xf9, 0xc1, 0xf1, 0x14, 0x13, 0xd5, 0x9c,  +      0x43, 0xf9, 0xc1, 0xf1, 0x14, 0x13, 0xd5, 0x9c,      },    }, {      .name = "a-134", @@ -1076,7 +1076,7 @@ static void test_shake128(void) {      .len = 134,      .exp = {        0xc8, 0x73, 0x5e, 0x5f, 0x6f, 0x15, 0xaf, 0xe5, -      0x1a, 0x8c, 0x3b, 0x07, 0xc4, 0xc6, 0x8d, 0x86,  +      0x1a, 0x8c, 0x3b, 0x07, 0xc4, 0xc6, 0x8d, 0x86,      },    }, {      .name = "a-135", @@ -1084,7 +1084,7 @@ static void test_shake128(void) {      .len = 135,      .exp = {        0xa5, 0xe2, 0xb2, 0x27, 0x8d, 0x1b, 0x75, 0x86, -      0x6c, 0x78, 0x77, 0xa0, 0xff, 0xa2, 0x47, 0x37,  +      0x6c, 0x78, 0x77, 0xa0, 0xff, 0xa2, 0x47, 0x37,      },    }, {      .name = "a-136", @@ -1092,7 +1092,7 @@ static void test_shake128(void) {      .len = 136,      .exp = {        0x0d, 0x01, 0x58, 0xd4, 0x46, 0x78, 0x3a, 0x9b, -      0x18, 0xa6, 0x90, 0x8c, 0x08, 0xbb, 0x5d, 0xe6,  +      0x18, 0xa6, 0x90, 0x8c, 0x08, 0xbb, 0x5d, 0xe6,      },    }, {      .name = "ff-256", @@ -1117,7 +1117,7 @@ static void test_shake128(void) {      .len = 256,      .exp = {        0xf3, 0x06, 0x93, 0x04, 0x16, 0x5c, 0x0e, 0xad, -      0x13, 0x25, 0xb5, 0x26, 0x76, 0x05, 0x95, 0xed,  +      0x13, 0x25, 0xb5, 0x26, 0x76, 0x05, 0x95, 0xed,      },    }, {      .name = "a-210", @@ -1125,7 +1125,7 @@ static void test_shake128(void) {      .len = 210,      .exp = {        0xb1, 0xb4, 0xf3, 0xad, 0x3a, 0x1f, 0x67, 0x60, -      0xe3, 0x08, 0x67, 0xdd, 0x71, 0xb3, 0x49, 0xfa,  +      0xe3, 0x08, 0x67, 0xdd, 0x71, 0xb3, 0x49, 0xfa,      },    }}; @@ -1156,7 +1156,7 @@ static void test_shake256(void) {        0x46, 0xb9, 0xdd, 0x2b, 0x0b, 0xa8, 0x8d, 0x13,        0x23, 0x3b, 0x3f, 0xeb, 0x74, 0x3e, 0xeb, 0x24,        0x3f, 0xcd, 0x52, 0xea, 0x62, 0xb8, 0x1b, 0x82, -      0xb5, 0x0c, 0x27, 0x64, 0x6e, 0xd5, 0x76, 0x2f,  +      0xb5, 0x0c, 0x27, 0x64, 0x6e, 0xd5, 0x76, 0x2f,      },    }, {      .name = "asdf", @@ -1166,7 +1166,7 @@ static void test_shake256(void) {        0xf0, 0x0c, 0x15, 0x64, 0x33, 0x96, 0x61, 0x6a,        0x89, 0xa0, 0xcb, 0x79, 0x03, 0x9f, 0x74, 0x05,        0x75, 0xde, 0xfe, 0x9d, 0xbe, 0x30, 0x7c, 0xcc, -      0xda, 0xf8, 0xae, 0x21, 0x0e, 0x1c, 0x9c, 0xc6,  +      0xda, 0xf8, 0xae, 0x21, 0x0e, 0x1c, 0x9c, 0xc6,      },    }, {      .name = "a-134", @@ -1176,7 +1176,7 @@ static void test_shake256(void) {        0xf1, 0xe0, 0x3f, 0x37, 0x8e, 0xb7, 0x79, 0x04,        0xba, 0x15, 0xbb, 0x64, 0x2a, 0x84, 0xb9, 0x0d,        0xe5, 0x2e, 0x29, 0x3e, 0xaf, 0xc2, 0x7c, 0xef, -      0x05, 0x88, 0x3b, 0x16, 0x56, 0xae, 0xc3, 0x41,  +      0x05, 0x88, 0x3b, 0x16, 0x56, 0xae, 0xc3, 0x41,      },    }, {      .name = "a-135", @@ -1186,7 +1186,7 @@ static void test_shake256(void) {        0x55, 0xb9, 0x91, 0xec, 0xe1, 0xe5, 0x67, 0xb6,        0xe7, 0xc2, 0xc7, 0x14, 0x44, 0x4d, 0xd2, 0x01,        0xcd, 0x51, 0xf4, 0xf3, 0x83, 0x2d, 0x08, 0xe1, -      0xd2, 0x6b, 0xeb, 0xc6, 0x3e, 0x07, 0xa3, 0xd7,  +      0xd2, 0x6b, 0xeb, 0xc6, 0x3e, 0x07, 0xa3, 0xd7,      },    }, {      .name = "a-136", @@ -1196,7 +1196,7 @@ static void test_shake256(void) {        0x8f, 0xcc, 0x5a, 0x08, 0xf0, 0xa1, 0xf6, 0x82,        0x7c, 0x9c, 0xf6, 0x4e, 0xe8, 0xd1, 0x6e, 0x04,        0x43, 0x10, 0x63, 0x59, 0xca, 0x6c, 0x8e, 0xfd, -      0x23, 0x07, 0x59, 0x25, 0x6f, 0x44, 0x99, 0x6a,  +      0x23, 0x07, 0x59, 0x25, 0x6f, 0x44, 0x99, 0x6a,      },    }, {      .name = "ff-256", @@ -1223,7 +1223,7 @@ static void test_shake256(void) {        0x3f, 0x25, 0xdf, 0x0e, 0x37, 0x17, 0x14, 0xdf,        0xb0, 0xcc, 0x3d, 0x96, 0x17, 0xe1, 0xa0, 0x71,        0x75, 0xa0, 0xf0, 0x84, 0xc7, 0x00, 0x29, 0x23, -      0x5c, 0x72, 0x7c, 0x5a, 0x68, 0x5e, 0xf0, 0x14,  +      0x5c, 0x72, 0x7c, 0x5a, 0x68, 0x5e, 0xf0, 0x14,      },    }, {      .name = "a-210", @@ -1233,7 +1233,7 @@ static void test_shake256(void) {        0xc9, 0xe2, 0xd9, 0x58, 0xf2, 0xdd, 0x3d, 0x97,        0x53, 0x8a, 0x1b, 0xac, 0x1b, 0x4e, 0xb3, 0x2e,        0x28, 0x23, 0x6b, 0x5d, 0xfc, 0xe0, 0x29, 0xfc, -      0xc8, 0x73, 0xc0, 0xf2, 0x70, 0xe1, 0x3e, 0x9f,  +      0xc8, 0x73, 0xc0, 0xf2, 0x70, 0xe1, 0x3e, 0x9f,      },    }}; @@ -1262,7 +1262,7 @@ static void test_shake128_xof(void) {      .len = 0,      .exp = {        0x7f, 0x9c, 0x2b, 0xa4, 0xe8, 0x8f, 0x82, 0x7d, -      0x61, 0x60, 0x45, 0x50, 0x76, 0x05, 0x85, 0x3e,  +      0x61, 0x60, 0x45, 0x50, 0x76, 0x05, 0x85, 0x3e,      },    }, {      .name = "asdf", @@ -1270,7 +1270,7 @@ static void test_shake128_xof(void) {      .len = 4,      .exp = {        0xef, 0x02, 0x2c, 0xc5, 0x3c, 0x74, 0xb3, 0x28, -      0x43, 0xf9, 0xc1, 0xf1, 0x14, 0x13, 0xd5, 0x9c,  +      0x43, 0xf9, 0xc1, 0xf1, 0x14, 0x13, 0xd5, 0x9c,      },    }, {      .name = "a-134", @@ -1278,7 +1278,7 @@ static void test_shake128_xof(void) {      .len = 134,      .exp = {        0xc8, 0x73, 0x5e, 0x5f, 0x6f, 0x15, 0xaf, 0xe5, -      0x1a, 0x8c, 0x3b, 0x07, 0xc4, 0xc6, 0x8d, 0x86,  +      0x1a, 0x8c, 0x3b, 0x07, 0xc4, 0xc6, 0x8d, 0x86,      },    }, {      .name = "a-135", @@ -1286,7 +1286,7 @@ static void test_shake128_xof(void) {      .len = 135,      .exp = {        0xa5, 0xe2, 0xb2, 0x27, 0x8d, 0x1b, 0x75, 0x86, -      0x6c, 0x78, 0x77, 0xa0, 0xff, 0xa2, 0x47, 0x37,  +      0x6c, 0x78, 0x77, 0xa0, 0xff, 0xa2, 0x47, 0x37,      },    }, {      .name = "a-136", @@ -1294,7 +1294,7 @@ static void test_shake128_xof(void) {      .len = 136,      .exp = {        0x0d, 0x01, 0x58, 0xd4, 0x46, 0x78, 0x3a, 0x9b, -      0x18, 0xa6, 0x90, 0x8c, 0x08, 0xbb, 0x5d, 0xe6,  +      0x18, 0xa6, 0x90, 0x8c, 0x08, 0xbb, 0x5d, 0xe6,      },    }, {      .name = "ff-256", @@ -1319,7 +1319,7 @@ static void test_shake128_xof(void) {      .len = 256,      .exp = {        0xf3, 0x06, 0x93, 0x04, 0x16, 0x5c, 0x0e, 0xad, -      0x13, 0x25, 0xb5, 0x26, 0x76, 0x05, 0x95, 0xed,  +      0x13, 0x25, 0xb5, 0x26, 0x76, 0x05, 0x95, 0xed,      },    }, {      .name = "a-210", @@ -1327,7 +1327,7 @@ static void test_shake128_xof(void) {      .len = 210,      .exp = {        0xb1, 0xb4, 0xf3, 0xad, 0x3a, 0x1f, 0x67, 0x60, -      0xe3, 0x08, 0x67, 0xdd, 0x71, 0xb3, 0x49, 0xfa,  +      0xe3, 0x08, 0x67, 0xdd, 0x71, 0xb3, 0x49, 0xfa,      },    }}; @@ -1385,7 +1385,7 @@ static void test_shake256_xof(void) {        0x46, 0xb9, 0xdd, 0x2b, 0x0b, 0xa8, 0x8d, 0x13,        0x23, 0x3b, 0x3f, 0xeb, 0x74, 0x3e, 0xeb, 0x24,        0x3f, 0xcd, 0x52, 0xea, 0x62, 0xb8, 0x1b, 0x82, -      0xb5, 0x0c, 0x27, 0x64, 0x6e, 0xd5, 0x76, 0x2f,  +      0xb5, 0x0c, 0x27, 0x64, 0x6e, 0xd5, 0x76, 0x2f,      },    }, {      .name = "asdf", @@ -1395,7 +1395,7 @@ static void test_shake256_xof(void) {        0xf0, 0x0c, 0x15, 0x64, 0x33, 0x96, 0x61, 0x6a,        0x89, 0xa0, 0xcb, 0x79, 0x03, 0x9f, 0x74, 0x05,        0x75, 0xde, 0xfe, 0x9d, 0xbe, 0x30, 0x7c, 0xcc, -      0xda, 0xf8, 0xae, 0x21, 0x0e, 0x1c, 0x9c, 0xc6,  +      0xda, 0xf8, 0xae, 0x21, 0x0e, 0x1c, 0x9c, 0xc6,      },    }, {      .name = "a-134", @@ -1405,7 +1405,7 @@ static void test_shake256_xof(void) {        0xf1, 0xe0, 0x3f, 0x37, 0x8e, 0xb7, 0x79, 0x04,        0xba, 0x15, 0xbb, 0x64, 0x2a, 0x84, 0xb9, 0x0d,        0xe5, 0x2e, 0x29, 0x3e, 0xaf, 0xc2, 0x7c, 0xef, -      0x05, 0x88, 0x3b, 0x16, 0x56, 0xae, 0xc3, 0x41,  +      0x05, 0x88, 0x3b, 0x16, 0x56, 0xae, 0xc3, 0x41,      },    }, {      .name = "a-135", @@ -1415,7 +1415,7 @@ static void test_shake256_xof(void) {        0x55, 0xb9, 0x91, 0xec, 0xe1, 0xe5, 0x67, 0xb6,        0xe7, 0xc2, 0xc7, 0x14, 0x44, 0x4d, 0xd2, 0x01,        0xcd, 0x51, 0xf4, 0xf3, 0x83, 0x2d, 0x08, 0xe1, -      0xd2, 0x6b, 0xeb, 0xc6, 0x3e, 0x07, 0xa3, 0xd7,  +      0xd2, 0x6b, 0xeb, 0xc6, 0x3e, 0x07, 0xa3, 0xd7,      },    }, {      .name = "a-136", @@ -1425,7 +1425,7 @@ static void test_shake256_xof(void) {        0x8f, 0xcc, 0x5a, 0x08, 0xf0, 0xa1, 0xf6, 0x82,        0x7c, 0x9c, 0xf6, 0x4e, 0xe8, 0xd1, 0x6e, 0x04,        0x43, 0x10, 0x63, 0x59, 0xca, 0x6c, 0x8e, 0xfd, -      0x23, 0x07, 0x59, 0x25, 0x6f, 0x44, 0x99, 0x6a,  +      0x23, 0x07, 0x59, 0x25, 0x6f, 0x44, 0x99, 0x6a,      },    }, {      .name = "ff-256", @@ -1452,7 +1452,7 @@ static void test_shake256_xof(void) {        0x3f, 0x25, 0xdf, 0x0e, 0x37, 0x17, 0x14, 0xdf,        0xb0, 0xcc, 0x3d, 0x96, 0x17, 0xe1, 0xa0, 0x71,        0x75, 0xa0, 0xf0, 0x84, 0xc7, 0x00, 0x29, 0x23, -      0x5c, 0x72, 0x7c, 0x5a, 0x68, 0x5e, 0xf0, 0x14,  +      0x5c, 0x72, 0x7c, 0x5a, 0x68, 0x5e, 0xf0, 0x14,      },    }, {      .name = "a-210", @@ -1462,7 +1462,7 @@ static void test_shake256_xof(void) {        0xc9, 0xe2, 0xd9, 0x58, 0xf2, 0xdd, 0x3d, 0x97,        0x53, 0x8a, 0x1b, 0xac, 0x1b, 0x4e, 0xb3, 0x2e,        0x28, 0x23, 0x6b, 0x5d, 0xfc, 0xe0, 0x29, 0xfc, -      0xc8, 0x73, 0xc0, 0xf2, 0x70, 0xe1, 0x3e, 0x9f,  +      0xc8, 0x73, 0xc0, 0xf2, 0x70, 0xe1, 0x3e, 0x9f,      },    }}; | 
