| /* 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 */
 |