Correct code formatting in the timing test suites

This commit is contained in:
k-stachowiak 2019-02-05 09:22:20 +01:00
parent 16373da579
commit 4d2982091b

View File

@ -39,10 +39,13 @@ void timing_get_timer( )
/* BEGIN_CASE */ /* BEGIN_CASE */
void timing_set_alarm( int seconds ) void timing_set_alarm( int seconds )
{ {
if( seconds == 0 ) { if( seconds == 0 )
{
mbedtls_set_alarm( seconds ); mbedtls_set_alarm( seconds );
TEST_ASSERT( mbedtls_timing_alarmed == 1 ); TEST_ASSERT( mbedtls_timing_alarmed == 1 );
} else { }
else
{
mbedtls_set_alarm( seconds ); mbedtls_set_alarm( seconds );
TEST_ASSERT( mbedtls_timing_alarmed == 0 || TEST_ASSERT( mbedtls_timing_alarmed == 0 ||
mbedtls_timing_alarmed == 1 ); mbedtls_timing_alarmed == 1 );
@ -55,11 +58,14 @@ void timing_delay( int fin_ms )
{ {
mbedtls_timing_delay_context ctx; mbedtls_timing_delay_context ctx;
int result; int result;
if( fin_ms == 0 ) { if( fin_ms == 0 )
{
mbedtls_timing_set_delay( &ctx, 0, 0 ); mbedtls_timing_set_delay( &ctx, 0, 0 );
result = mbedtls_timing_get_delay( &ctx ); result = mbedtls_timing_get_delay( &ctx );
TEST_ASSERT( result == -1 ); TEST_ASSERT( result == -1 );
} else { }
else
{
mbedtls_timing_set_delay( &ctx, fin_ms / 2, fin_ms ); mbedtls_timing_set_delay( &ctx, fin_ms / 2, fin_ms );
result = mbedtls_timing_get_delay( &ctx ); result = mbedtls_timing_get_delay( &ctx );
TEST_ASSERT( result >= 0 && result <= 2 ); TEST_ASSERT( result >= 0 && result <= 2 );