/* SPDX-License-Identifier: BSD-2-Clause */
/*
 * Copyright (c) 2014, STMicroelectronics International N.V.
 * All rights reserved.
 */

#ifndef GUARD_testframework_H
#define GUARD_testframework_H

#include "tee_internal_api.h"

#include "tee_arith_internal.h"

#include "tb_macros.h"
#include "tb_asserts.h"

/* define the max size of generated numbers */
/* this is number of hex chars in the number */
#define MAX_RAND_DIGITS         256
#define MAX_RAND_STRING_SIZE    (MAX_RAND_DIGITS + 2)

size_t my_strlen(const char *string);
int my_strcmp(const char *s1, const char *s2);
size_t my_strlcpy(char *dst, const char *src, size_t siz);

void tb_set_random_value(TEE_BigInt *a, char *str, int allow_neg);
void tb_get_random_str(char *str, int allow_neg);

void tb_main(void);

void tb_var(void);
void tb_conv(void);
void tb_cmp(void);
void tb_addsub(void);
void tb_mul(void);
void tb_shift(void);
void tb_div(void);
void tb_gcd(void);
void tb_modulus(void);
void tb_fmm(void);
void tb_prime(void);

int TEE_BigIntConvertFromString(TEE_BigInt *dest, const char *src);
char *TEE_BigIntConvertToString(char *dest, int mode, const TEE_BigInt *src);

#endif /* include guard */