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