/* BEGIN_HEADER */
#include "mbedtls/timing.h"
/* END_HEADER */

/* BEGIN_DEPENDENCIES
 * depends_on:MBEDTLS_TIMING_C
 * END_DEPENDENCIES
 */

/* BEGIN_CASE depends_on:MBEDTLS_SELF_TEST */
void timing_selftest()
{
    TEST_ASSERT( mbedtls_timing_self_test( 1 ) == 0 );
}
/* END_CASE */