/* This file is part of the Simba project.  */
static int test_crc_32(void)
/* This file is part of the Simba project.  */
static int test_crc_32(void)
{
    uint32_t crc;
    char string[] = "The quick brown fox jumps over the lazy dog";
    BTASSERT(crc_32(0, string, strlen(string)) == 0x414fa339);
    crc = crc_32(0, string, 10);
    BTASSERT(crc == 0xa3ec1434);
    BTASSERT(crc_32(crc, &string[10], strlen(string) - 10) == 0x414fa339);
    return (0);
}