int main(void) { tv(); tv_ietf(); assert(crypto_stream_chacha20_keybytes() > 0U); assert(crypto_stream_chacha20_noncebytes() > 0U); assert(crypto_stream_chacha20_ietf_noncebytes() > 0U); return 0; }
int main(void) { tv(); tv_ietf(); assert(crypto_stream_chacha20_keybytes() > 0U); assert(crypto_stream_chacha20_keybytes() == crypto_stream_chacha20_KEYBYTES); assert(crypto_stream_chacha20_noncebytes() > 0U); assert(crypto_stream_chacha20_noncebytes() == crypto_stream_chacha20_NONCEBYTES); assert(crypto_stream_chacha20_messagebytes_max() == crypto_stream_chacha20_MESSAGEBYTES_MAX); assert(crypto_stream_chacha20_ietf_keybytes() > 0U); assert(crypto_stream_chacha20_ietf_keybytes() == crypto_stream_chacha20_ietf_KEYBYTES); assert(crypto_stream_chacha20_ietf_noncebytes() > 0U); assert(crypto_stream_chacha20_ietf_noncebytes() == crypto_stream_chacha20_ietf_NONCEBYTES); assert(crypto_stream_chacha20_ietf_messagebytes_max() == crypto_stream_chacha20_ietf_MESSAGEBYTES_MAX); return 0; }