#include <sys/cdefs.h>
__RCSID("$NetBSD: t_sha512trunc.c,v 1.4 2026/04/30 23:10:23 gutteridge Exp $");
#include <stddef.h>
#include <atf-c.h>
#include <openssl/evp.h>
#include "h_macros.h"
struct testcase {
const unsigned char in[5824];
size_t inlen;
const unsigned char out[32];
};
static void
check(const struct testcase *C, size_t n, size_t digestlen, const EVP_MD *md)
{
enum { C0 = 0xc0, C1 = 0xc1 };
unsigned char *buf, *digest, *p0, *p1;
size_t i;
ATF_REQUIRE_MSG(digestlen <= INT_MAX, "digestlen=%zu", digestlen);
ATF_REQUIRE_EQ_MSG((int)digestlen, EVP_MD_size(md),
"expected %d, got %d", (int)digestlen, EVP_MD_size(md));
ATF_REQUIRE_MSG(digestlen < SIZE_MAX - 2048,
"digestlen=%zu", digestlen);
REQUIRE_LIBC(buf = malloc(digestlen + 2048), NULL);
p0 = buf;
digest = buf + 1;
p1 = buf + 1 + digestlen;
for (i = 0; i < n; i++) {
EVP_MD_CTX *ctx;
unsigned digestlen1;
*p0 = C0;
*p1 = C1;
#define REQUIRE(x) ATF_REQUIRE_MSG((x), "i=%zu", i)
REQUIRE(ctx = EVP_MD_CTX_new());
REQUIRE(EVP_DigestInit_ex(ctx, md, NULL));
REQUIRE(EVP_DigestUpdate(ctx, C[i].in, C[i].inlen));
REQUIRE(EVP_DigestFinal_ex(ctx, digest, &digestlen1));
#undef REQUIRE
ATF_CHECK_MSG(digestlen == digestlen1,
"i=%zu: expected %zu got %u", i, digestlen, digestlen1);
EVP_MD_CTX_free(ctx);
ATF_CHECK_MSG(memcmp(digest, C[i].out, digestlen) == 0,
"i=%zu", i);
ATF_CHECK_EQ_MSG(*p0, C0, "expected 0x%x got 0x%hhx", C0, *p0);
ATF_CHECK_EQ_MSG(*p1, C1, "expected 0x%x got 0x%hhx", C1, *p1);
}
free(buf);
}
ATF_TC(sha512_224);
ATF_TC_HEAD(sha512_224, tc)
{
atf_tc_set_md_var(tc, "descr", "Test SHA512-224");
}
ATF_TC_BODY(sha512_224, tc)
{
static const struct testcase C[] = {
[0] = {
.inlen = 0,
.out = {
0x6e,0xd0,0xdd,0x02, 0x80,0x6f,0xa8,0x9e,
0x25,0xde,0x06,0x0c, 0x19,0xd3,0xac,0x86,
0xca,0xbb,0x87,0xd6, 0xa0,0xdd,0xd0,0x5c,
0x33,0x3b,0x84,0xf4,
},
},
[1] = {
.inlen = 1,
.in = {
0xcf,
},
.out = {
0x41,0x99,0x23,0x9e, 0x87,0xd4,0x7b,0x6f,
0xed,0xa0,0x16,0x80, 0x2b,0xf3,0x67,0xfb,
0x6e,0x8b,0x56,0x55, 0xef,0xf6,0x22,0x5c,
0xb2,0x66,0x8f,0x4a,
},
},
[2] = {
.inlen = 4,
.in = {
0xc2,0xeb,0x0c,0x88,
},
.out = {
0xc5,0xb9,0x7f,0x1e, 0x46,0xd9,0x1c,0x39,
0x40,0xbe,0x8c,0xfe, 0xf1,0xe4,0x9b,0xaa,
0x77,0xb4,0x75,0xdb, 0x94,0x3e,0x49,0xf0,
0x0c,0xdd,0xbe,0x72,
},
},
[3] = {
.inlen = 28,
.in = {
0x03,0xf8,0xcf,0x98, 0x03,0x5e,0xac,0x15,
0x8f,0xf1,0x8f,0xd9, 0x3b,0x44,0xcd,0xb6,
0x21,0x59,0x72,0x55, 0xd7,0xc3,0xd9,0x7a,
0x9e,0x08,0x79,0x89,
},
.out = {
0xe1,0xfc,0x5f,0x50, 0x8d,0xee,0xd8,0xbf,
0x74,0x88,0x3b,0x6f, 0xde,0xf8,0xc3,0xe0,
0xc8,0x63,0x06,0xe7, 0xf1,0xd6,0x30,0x0c,
0xce,0x4d,0x36,0xdc,
},
},
[4] = {
.inlen = 117,
.in = {
0x54,0xbf,0x37,0x59, 0x44,0xc0,0x02,0xcc,
0xac,0x87,0xf5,0x5f, 0xf3,0xeb,0x58,0xc4,
0x58,0x44,0xf6,0x2d, 0x91,0x7d,0xdd,0x03,
0xb2,0x6b,0x5f,0xdb, 0x51,0x5d,0x5c,0xa6,
0xe8,0xf5,0xc4,0x27, 0x7a,0x36,0x57,0xab,
0x7a,0xdd,0xaf,0xf4, 0xe8,0xf5,0x81,0x76,
0xbd,0xa6,0x20,0xc6, 0x89,0x4e,0x42,0x4f,
0x5b,0xd3,0x07,0x47, 0xe1,0x37,0x37,0xe1,
0xd0,0x6c,0xcb,0xc4, 0x86,0x6a,0xb0,0xbd,
0xef,0x80,0xc7,0xb0, 0xa5,0xe7,0x30,0xd5,
0x5b,0x9d,0xc8,0x20, 0x7b,0x70,0xf0,0x01,
0x0e,0x59,0x91,0x4e, 0xdd,0x0c,0x5d,0x7e,
0xd5,0xcd,0x57,0x17, 0xb0,0x85,0x95,0x69,
0xd2,0x15,0x44,0x7d, 0x71,0xea,0xee,0x49,
0xf9,0xd2,0xf8,0x25, 0xaf,
},
.out = {
0x0c,0xd6,0x90,0x73, 0x6d,0xd1,0xf3,0x90,
0x69,0x4f,0x65,0xc3, 0xb8,0x9e,0x0c,0xc2,
0x26,0x9f,0x3b,0x82, 0x08,0xc8,0x06,0x92,
0x9a,0x8f,0x8c,0xb9,
},
},
[5] = {
.inlen = 722,
.in = {
0xda,0x1c,0xd2,0xf1, 0xc4,0xe9,0x0a,0xa6,
0xc6,0xbd,0x4a,0xfc, 0xc9,0xe5,0x71,0xde,
0x58,0xdc,0xe9,0xa4, 0xba,0xd4,0xe5,0x45,
0x5e,0x93,0xe6,0xc8, 0x7d,0x80,0x84,0xfc,
0xfa,0xfe,0x6b,0x69, 0x8d,0xf8,0xa4,0x86,
0x20,0xbd,0x16,0x2d, 0x79,0x0f,0x4c,0x4b,
0x1a,0x76,0x78,0xdc, 0x65,0xdb,0xb8,0x17,
0x04,0x51,0x99,0xe5, 0x88,0x36,0xda,0x98,
0x50,0x7b,0x72,0xda, 0xad,0x40,0xd3,0xe3,
0x43,0xa4,0x71,0xf0, 0xb3,0xdb,0x7e,0xf0,
0x77,0x81,0xf8,0x80, 0x0d,0x2d,0xe6,0x19,
0x57,0x4a,0xdf,0x88, 0x42,0x22,0xcb,0x9f,
0xa6,0x3c,0xee,0x2b, 0x6d,0xe8,0x22,0x26,
0xf8,0x18,0x63,0x2d, 0xbe,0x71,0x91,0x34,
0x36,0xa2,0x72,0x78, 0xf8,0xf5,0xf7,0xb5,
0x1f,0x23,0xc0,0x99, 0xf1,0x6d,0xe1,0x79,
0xc2,0xe8,0xe7,0x44, 0x15,0x19,0x16,0xb5,
0x05,0xc1,0xf5,0xcc, 0xe3,0xfa,0x0d,0x7e,
0x21,0x83,0xed,0xac, 0x6e,0x59,0x71,0x52,
0x23,0x87,0x44,0x01, 0xde,0x3e,0xa4,0x8f,
0x6c,0x28,0x65,0x0d, 0xed,0xfa,0x39,0xf9,
0x32,0x49,0x2e,0xb5, 0x6a,0x9e,0x78,0x38,
0xfe,0xcc,0x71,0x04, 0xb9,0x81,0xde,0x57,
0x2c,0x1c,0x74,0xa6, 0x51,0xbe,0x9b,0x47,
0x6e,0xa4,0x71,0x6e, 0x3c,0xb4,0x12,0x5a,
0x49,0x55,0x17,0xd0, 0x9b,0x84,0x5c,0xc9,
0x96,0x25,0x07,0x68, 0x20,0x96,0xc5,0x2e,
0x02,0x8a,0x57,0x71, 0x91,0x15,0x4e,0x0a,
0x8f,0x03,0x12,0x4f, 0x4c,0x6e,0x29,0x41,
0x10,0x90,0xb6,0x06, 0xbd,0xd5,0x40,0x99,
0xb1,0x34,0xb5,0xc0, 0xea,0xc0,0xaf,0x3e,
0x6d,0x7a,0xf5,0x4a, 0xe8,0x6a,0x45,0x41,
0x96,0xee,0x51,0x98, 0x63,0x51,0x07,0x14,
0x51,0x9f,0x15,0x3d, 0x1a,0xb8,0xad,0x10,
0x17,0xa4,0x85,0xf4, 0x60,0x26,0x23,0xef,
0x35,0x94,0x57,0x1a, 0x9c,0xe5,0x09,0x52,
0x4c,0x0c,0x34,0x31, 0xca,0x85,0x33,0x3c,
0xd2,0x2d,0x3c,0x5e, 0xf8,0x56,0x2a,0x96,
0x8f,0x1b,0x7f,0xec, 0xca,0xf1,0xa9,0xa9,
0x21,0x7f,0x84,0xc7, 0xf6,0xb0,0x21,0xa7,
0x79,0x06,0xc6,0x02, 0xc9,0x31,0x35,0x22,
0x5c,0xe0,0x31,0x52, 0xa0,0xd7,0x3f,0x93,
0xe2,0x41,0xaa,0x90, 0x70,0x48,0xc9,0xd4,
0xfa,0xe4,0x84,0x3b, 0x3e,0xf0,0x15,0xa6,
0xe5,0x83,0x0c,0xf3, 0xa7,0x7d,0x96,0x2d,
0xb6,0x60,0xfe,0xff, 0x5a,0x62,0x74,0x6f,
0xd8,0xc0,0x0e,0xc9, 0x99,0x54,0x0c,0xd8,
0x88,0x6a,0x60,0x5c, 0xbc,0xd0,0x6e,0xb9,
0x57,0x2c,0x10,0xed, 0xae,0x92,0xdd,0xc4,
0xaa,0x56,0xab,0x4f, 0x6e,0x1f,0x52,0x92,
0x39,0x3d,0xb3,0x7d, 0x8e,0x3d,0xf9,0x1e,
0x93,0xba,0x1f,0x14, 0xb8,0x76,0xb3,0x47,
0x98,0xa9,0xd9,0xd6, 0x24,0x98,0x92,0x51,
0xfe,0x6a,0x3e,0x29, 0x23,0x37,0x60,0x64,
0xcd,0x63,0xa2,0x95, 0x98,0x2a,0x19,0x0c,
0xe3,0x7b,0xc9,0x4a, 0x79,0x0a,0x6c,0xb8,
0x71,0xa1,0x6f,0x98, 0x52,0xb6,0x3e,0x3b,
0x7b,0x43,0xc1,0x74, 0xc2,0xd2,0x26,0x4e,
0x5c,0xd7,0xe2,0xfa, 0xfd,0x43,0xf2,0x0b,
0x3f,0x56,0x67,0xe6, 0x48,0xb5,0x21,0x73,
0xa7,0xbc,0xdb,0x19, 0x80,0x15,0x68,0xea,
0xe9,0x8a,0x3b,0x1a, 0x93,0x17,0x2d,0xb6,
0xad,0x44,0x7b,0x92, 0x05,0xb2,0x0e,0x84,
0x71,0xf3,0x00,0xcf, 0x6d,0x9e,0x5b,0xe2,
0x05,0xa3,0x24,0x43, 0xf6,0xdd,0x98,0xc6,
0x10,0xe6,0xb5,0x02, 0xde,0x2f,0xfc,0x05,
0x89,0x50,0x76,0x47, 0xfa,0x9c,0xf5,0xdd,
0x3f,0xf9,0x9c,0xef, 0x30,0xef,0xa1,0x6c,
0x52,0xfe,0x52,0xfc, 0xfb,0x35,0x56,0x37,
0xb7,0x00,0x36,0x14, 0xeb,0x42,0x1c,0xa4,
0xb8,0xa3,0xda,0x00, 0x22,0x2c,0x2d,0x80,
0x72,0x11,0x43,0x2d, 0xd8,0xcd,0x7c,0x79,
0x55,0x74,0x6e,0x2e, 0xd8,0x45,0x2b,0xa5,
0xa8,0x7f,0xc6,0x38, 0x01,0x77,0x13,0xf9,
0x02,0xe6,0xaf,0xa5, 0xc7,0x87,0x40,0xd3,
0xd2,0xe2,0xfe,0x71, 0xaf,0x62,0x73,0x71,
0xd7,0xae,0x7e,0xc0, 0xd6,0x36,0x9e,0x78,
0xa9,0x0c,0x6d,0x56, 0x6a,0xf6,0x6b,0x6e,
0x2f,0xc1,0xfd,0x1d, 0x2f,0xd8,0xb6,0x40,
0x26,0x15,0xd4,0xa3, 0xfb,0xd6,0x0e,0xbd,
0xa0,0x54,0x8d,0x9a, 0x3b,0x30,0x38,0x18,
0x83,0x4f,0x34,0x56, 0x6c,0xe8,0xab,0x6a,
0x06,0xdb,0xcd,0x52, 0xa2,0x45,0x15,0x2d,
0x38,0x51,0xce,0xac, 0x05,0x51,0xd5,0xc3,
0x78,0x0d,0xa0,0xa4, 0x4f,0x5a,0x7f,0xed,
0xfe,0xef,0x22,0x20, 0x50,0x75,0x5c,0x55,
0x50,0xdd,0x26,0x2b, 0x6a,0xf6,0xe7,0x04,
0xce,0x3f,0xf3,0x72, 0x15,0xfa,0x51,0xec,
0x27,0x81,0xc1,0xc6, 0x5c,0xdd,0xfd,0x60,
0xe1,0x95,0x40,0x9d, 0x5e,0xc4,0x05,0x96,
0xd5,0x6e,
},
.out = {
0x4c,0xb0,0xba,0xad, 0xfd,0xa3,0x5e,0xaf,
0x66,0xbf,0xbb,0x96, 0x09,0x5d,0xfc,0x04,
0x9c,0x9c,0xb2,0x7d, 0xa2,0x4f,0x29,0xb9,
0x51,0x13,0x48,0xe2,
},
},
};
check(C, __arraycount(C), 28, EVP_sha512_224());
}
ATF_TC(sha512_256);
ATF_TC_HEAD(sha512_256, tc)
{
atf_tc_set_md_var(tc, "descr", "Test SHA512-256");
}
ATF_TC_BODY(sha512_256, tc)
{
static const struct testcase C[] = {
[0] = {
.inlen = 0,
.out = {
0xc6,0x72,0xb8,0xd1, 0xef,0x56,0xed,0x28,
0xab,0x87,0xc3,0x62, 0x2c,0x51,0x14,0x06,
0x9b,0xdd,0x3a,0xd7, 0xb8,0xf9,0x73,0x74,
0x98,0xd0,0xc0,0x1e, 0xce,0xf0,0x96,0x7a,
},
},
[1] = {
.inlen = 1,
.in = {
0xfa,
},
.out = {
0xc4,0xef,0x36,0x92, 0x3c,0x64,0xe5,0x1e,
0x87,0x57,0x20,0xe5, 0x50,0x29,0x8a,0x5a,
0xb8,0xa3,0xf2,0xf8, 0x75,0xb1,0xe1,0xa4,
0xc9,0xb9,0x5b,0xab, 0xf7,0x34,0x4f,0xef,
},
},
[2] = {
.inlen = 5,
.in = {
0x77,0xd2,0xee,0x3f, 0xd1,
},
.out = {
0x32,0x9d,0x0a,0xe2, 0x6d,0xf3,0x64,0x6f,
0xb7,0xdb,0x0b,0x32, 0x2c,0xf1,0xf3,0x48,
0x8d,0x53,0x81,0xf6, 0x6e,0xb3,0x76,0xfe,
0xe4,0x0f,0x05,0x96, 0xd6,0xd9,0xdc,0x4b,
},
},
[3] = {
.inlen = 35,
.in = {
0xce,0x88,0x5f,0xfb, 0x34,0x0f,0xd7,0xa4,
0x3e,0x21,0x50,0x69, 0x9b,0x3f,0x98,0xef,
0x33,0x42,0x70,0x03, 0x67,0x94,0xec,0x75,
0x9a,0xa0,0x1d,0x29, 0xf0,0x87,0xed,0x6b,
0x55,0x15,0x49,
},
.out = {
0x10,0x71,0xf8,0xb5, 0x73,0x28,0xb7,0x67,
0x20,0x9c,0x15,0xa4, 0x3e,0x1d,0x84,0x52,
0x76,0x38,0x65,0xac, 0x93,0xd5,0x8f,0x93,
0xc8,0x40,0x87,0x6c, 0x1a,0x5b,0x21,0xe0,
},
},
[4] = {
.inlen = 62,
.in = {
0xb0,0x99,0xe1,0xb5, 0x23,0x48,0xf9,0x3a,
0x6c,0x22,0x89,0x6c, 0x72,0x85,0x4a,0xb0,
0x4f,0x2d,0xd3,0xd1, 0xf9,0x4c,0x5f,0xad,
0x21,0xdd,0xd1,0x2e, 0x5b,0x35,0xf5,0x7c,
0x80,0xdb,0x09,0x71, 0x50,0x99,0x7c,0x4e,
0x5c,0xd3,0xf5,0xac, 0x24,0x18,0x97,0xb5,
0x7c,0xf7,0x84,0x93, 0x34,0x14,0x9f,0x29,
0xf7,0x7b,0x97,0x01, 0x74,0x33,
},
.out = {
0x01,0xd5,0x82,0xc8, 0x2c,0xe6,0xe6,0xa8,
0xc0,0xcf,0xa8,0x17, 0x92,0x11,0x0b,0xc9,
0x50,0xfa,0x55,0xe3, 0x1c,0x10,0x1c,0xc6,
0xf2,0xdf,0x6b,0x2a, 0xeb,0xc1,0x89,0x25,
},
},
[5] = {
.inlen = 524,
.in = {
0x43,0x89,0xf5,0x29, 0x95,0xe8,0x15,0x50,
0xcc,0x7e,0xe1,0x7f, 0xc5,0x46,0xbb,0xa0,
0x8e,0x9e,0xd3,0x38, 0x70,0x42,0x48,0xf3,
0x2d,0x7b,0x90,0x84, 0x86,0x94,0x19,0xab,
0x00,0x8e,0x30,0x97, 0xe8,0x15,0x23,0x6f,
0x95,0xb2,0xa2,0x2c, 0xed,0x41,0x6b,0xa9,
0x2b,0xa6,0x27,0xfd, 0xdf,0xbc,0x8e,0x08,
0x35,0x8e,0xd2,0x4c, 0x7b,0xca,0x3b,0xfe,
0xde,0x72,0x0e,0x5d, 0x74,0xd5,0xb4,0x43,
0x80,0xbe,0x18,0xfa, 0xf1,0xeb,0x51,0x50,
0x2b,0xc0,0x81,0xee, 0x0a,0x3d,0xfd,0xe5,
0x24,0x2e,0xae,0x8a, 0x4f,0xa1,0xb7,0x84,
0x64,0x9d,0x57,0x23, 0x42,0x11,0x11,0xf4,
0x15,0x0b,0x0b,0x92, 0xd8,0x2a,0xb5,0xbe,
0x18,0x56,0xaa,0xb2, 0xfb,0xae,0xdb,0xb3,
0x82,0xc2,0xea,0xe6, 0x0b,0x03,0xd4,0x64,
0x1a,0x78,0xd3,0x90, 0x58,0xb2,0x83,0xa9,
0xdc,0x01,0x43,0x9b, 0xaa,0xe8,0xde,0x1b,
0x79,0xcf,0x6b,0xf2, 0xba,0xf8,0x71,0x99,
0xd5,0xb4,0x4f,0x07, 0xb6,0xd7,0xdb,0xc7,
0x88,0x69,0x4a,0x4d, 0xc0,0x9e,0x50,0x8a,
0x5e,0x08,0x87,0xbe, 0x6f,0x0c,0x15,0x8e,
0xd7,0x93,0x8a,0x56, 0x4d,0x01,0x07,0xc0,
0xa7,0x6b,0xa5,0x96, 0x58,0x05,0x14,0xd4,
0x37,0xd9,0x83,0x02, 0x82,0xbf,0xc0,0xc0,
0x22,0x89,0xa1,0xa3, 0x30,0x7e,0xa2,0x3f,
0xb9,0x0a,0xcf,0x85, 0xbe,0xb3,0xe5,0x50,
0x7f,0x4f,0xb4,0x3a, 0xfa,0x74,0xc7,0xb4,
0xae,0x31,0x47,0x56, 0xa4,0xfb,0x1d,0x73,
0xb0,0xea,0x57,0xf1, 0xf5,0x26,0xcd,0x57,
0xa7,0x9c,0x04,0x28, 0x15,0xf5,0x52,0x70,
0xe6,0xc8,0x43,0x9c, 0xa2,0x0e,0x3c,0x8e,
0x75,0xd7,0x5e,0xf1, 0x30,0x3c,0xad,0xca,
0x91,0x95,0x72,0x50, 0xc4,0xec,0xde,0xfe,
0x29,0xb1,0xef,0xe6, 0x58,0xae,0x98,0x48,
0x63,0x3e,0x1c,0x63, 0x5b,0xba,0xbb,0x8b,
0x15,0x35,0x90,0x7c, 0x2d,0x69,0xba,0xee,
0x4c,0xf0,0xba,0x6a, 0xa7,0xb8,0x1c,0x5b,
0xc8,0xb1,0x5a,0x68, 0x91,0xc8,0xfd,0x01,
0x7e,0x19,0x05,0x38, 0x2a,0x60,0x8b,0xd3,
0x15,0xb1,0xa5,0x9f, 0xa4,0x6a,0x8a,0x07,
0x69,0x65,0xf6,0xe4, 0xa5,0x72,0xd0,0x97,
0x0b,0x04,0x0b,0x56, 0xc7,0x2a,0xca,0xc3,
0xbf,0xc1,0xc7,0xc3, 0x19,0xe9,0xf5,0x8d,
0xfd,0xb5,0x64,0x01, 0x9c,0x27,0x65,0x3c,
0x71,0x5b,0xf0,0x69, 0xc6,0x02,0x42,0xd9,
0x7b,0x12,0xca,0x57, 0x03,0xbc,0x46,0xb5,
0xaf,0x9f,0x2a,0xab, 0x2f,0x3b,0x41,0xe2,
0x56,0xa8,0x96,0x4b, 0x1d,0x87,0x95,0xb5,
0xeb,0x3a,0x6e,0x9f, 0x13,0x50,0xba,0x4a,
0x9e,0x43,0x61,0x13, 0x4c,0x66,0xbb,0x00,
0xd5,0x19,0xf5,0x99, 0x74,0x3f,0xb7,0xf9,
0xa6,0xf2,0x03,0x24, 0x30,0x75,0x61,0x9b,
0x5f,0x69,0x39,0x2e, 0x93,0x44,0x80,0x12,
0xff,0x00,0x96,0x33, 0xaa,0x10,0x6f,0xcb,
0xb9,0x98,0xf2,0x34, 0xf1,0xdd,0x9e,0xfb,
0x78,0xfb,0x73,0x35, 0xdb,0xd6,0x10,0x16,
0x55,0x52,0x19,0xbf, 0x4f,0xc7,0xdb,0x58,
0x23,0xaf,0x33,0x5f, 0x25,0xa2,0xab,0x3f,
0xe4,0x85,0xe7,0x25, 0xad,0xfe,0x40,0x0f,
0x51,0x2a,0xae,0x26, 0x28,0x93,0xeb,0x4d,
0x56,0x5c,0xd5,0xfa, 0x4d,0xbf,0x15,0x44,
0x94,0xba,0xfe,0x3e, 0xc6,0x04,0xb7,0x84,
0xdd,0x46,0x9d,0x13, 0xb0,0x88,0xe3,0x5e,
0xbb,0xe9,0x7b,0x9e, 0x1f,0x94,0x3a,0x69,
0xe9,0xef,0x37,0x86,
},
.out = {
0x1a,0x12,0x0d,0xb1, 0xb4,0x8a,0x40,0x35,
0x39,0x5b,0x5f,0x52, 0xe5,0x2d,0xec,0xb1,
0xcc,0x9c,0x0c,0x50, 0x8b,0x41,0x14,0x55,
0xa9,0xe3,0x34,0x46, 0xf4,0xd8,0xa8,0x7c,
},
},
};
check(C, __arraycount(C), 32, EVP_sha512_256());
}
ATF_TP_ADD_TCS(tp)
{
ATF_TP_ADD_TC(tp, sha512_224);
ATF_TP_ADD_TC(tp, sha512_256);
return atf_no_error();
}
