/* This is auto-generated code. Edit at your own peril. */
#include "testing/testing.h"

DECLARE_SETUP (prompt_util);
DECLARE_TEARDOWN (prompt_util);
DECLARE_TEST (encode_decode_mpi);
DECLARE_TEST (decode_nonexistant_mpi);
DECLARE_TEST (encode_decode_hex);
DECLARE_TEST (decode_nonexistant_hex);
DECLARE_TEST (encrypt_decrypt_text);

