blob: 20add3c7767e5b2b90f363a1c2bead4635e18c26 [file] [log] [blame]
SimonB15942102016-04-25 21:34:49 +01001#line 1 "main_test.function"
Paul Bakkerde56ca12013-09-15 17:05:21 +02002SUITE_PRE_DEP
3#define TEST_SUITE_ACTIVE
4
Paul Bakker19343182013-08-16 13:31:10 +02005int verify_string( char **str )
6{
7 if( (*str)[0] != '"' ||
8 (*str)[strlen( *str ) - 1] != '"' )
9 {
Simon Butcher25731362016-09-30 13:11:29 +010010 mbedtls_fprintf( stderr,
11 "Expected string (with \"\") for parameter and got: %s\n", *str );
Paul Bakker19343182013-08-16 13:31:10 +020012 return( -1 );
13 }
14
15 (*str)++;
16 (*str)[strlen( *str ) - 1] = '\0';
17
18 return( 0 );
19}
20
21int verify_int( char *str, int *value )
22{
23 size_t i;
24 int minus = 0;
25 int digits = 1;
26 int hex = 0;
27
28 for( i = 0; i < strlen( str ); i++ )
29 {
30 if( i == 0 && str[i] == '-' )
31 {
32 minus = 1;
33 continue;
34 }
35
36 if( ( ( minus && i == 2 ) || ( !minus && i == 1 ) ) &&
37 str[i - 1] == '0' && str[i] == 'x' )
38 {
39 hex = 1;
40 continue;
41 }
42
Manuel Pégourié-Gonnard725afd82014-02-01 11:54:28 +010043 if( ! ( ( str[i] >= '0' && str[i] <= '9' ) ||
44 ( hex && ( ( str[i] >= 'a' && str[i] <= 'f' ) ||
45 ( str[i] >= 'A' && str[i] <= 'F' ) ) ) ) )
Paul Bakker19343182013-08-16 13:31:10 +020046 {
47 digits = 0;
48 break;
49 }
50 }
51
52 if( digits )
53 {
54 if( hex )
55 *value = strtol( str, NULL, 16 );
56 else
57 *value = strtol( str, NULL, 10 );
58
59 return( 0 );
60 }
61
62MAPPING_CODE
63
Simon Butcher25731362016-09-30 13:11:29 +010064 mbedtls_fprintf( stderr,
65 "Expected integer for parameter and got: %s\n", str );
SimonB8ca7bc42016-04-17 23:24:50 +010066 return( KEY_VALUE_MAPPING_NOT_FOUND );
Paul Bakker19343182013-08-16 13:31:10 +020067}
68
SimonB152ea182016-02-15 23:27:28 +000069
70/*----------------------------------------------------------------------------*/
71/* Test Case code */
72
Paul Bakkerde56ca12013-09-15 17:05:21 +020073FUNCTION_CODE
74SUITE_POST_DEP
75
SimonB15942102016-04-25 21:34:49 +010076#line !LINE_NO! "main_test.function"
77
SimonB152ea182016-02-15 23:27:28 +000078
79/*----------------------------------------------------------------------------*/
80/* Test dispatch code */
81
Paul Bakker19343182013-08-16 13:31:10 +020082int dep_check( char *str )
83{
84 if( str == NULL )
85 return( 1 );
86
87DEP_CHECK_CODE
Simon Butcher65b1fa62016-05-23 23:18:26 +010088#line !LINE_NO! "main_test.function"
Paul Bakker19343182013-08-16 13:31:10 +020089
SimonB8ca7bc42016-04-17 23:24:50 +010090 return( DEPENDENCY_NOT_SUPPORTED );
Paul Bakker19343182013-08-16 13:31:10 +020091}
92
Paul Bakker19343182013-08-16 13:31:10 +020093int dispatch_test(int cnt, char *params[50])
94{
95 int ret;
Paul Bakkerb34fef22013-08-20 12:06:33 +020096 ((void) cnt);
97 ((void) params);
Paul Bakker19343182013-08-16 13:31:10 +020098
Paul Bakkerb34fef22013-08-20 12:06:33 +020099#if defined(TEST_SUITE_ACTIVE)
SimonB8ca7bc42016-04-17 23:24:50 +0100100 ret = DISPATCH_TEST_SUCCESS;
101
Simon Butcher65b1fa62016-05-23 23:18:26 +0100102 // Cast to void to avoid compiler warnings
103 (void)ret;
104
Paul Bakker19343182013-08-16 13:31:10 +0200105DISPATCH_FUNCTION
106 {
Simon Butcher65b1fa62016-05-23 23:18:26 +0100107#line !LINE_NO! "main_test.function"
SimonB8ca7bc42016-04-17 23:24:50 +0100108 mbedtls_fprintf( stdout,
109 "FAILED\nSkipping unknown test function '%s'\n",
110 params[0] );
Paul Bakker19343182013-08-16 13:31:10 +0200111 fflush( stdout );
SimonB8ca7bc42016-04-17 23:24:50 +0100112 ret = DISPATCH_TEST_FN_NOT_FOUND;
Paul Bakker19343182013-08-16 13:31:10 +0200113 }
Paul Bakkerb34fef22013-08-20 12:06:33 +0200114#else
SimonB8ca7bc42016-04-17 23:24:50 +0100115 ret = DISPATCH_UNSUPPORTED_SUITE;
Paul Bakkerb34fef22013-08-20 12:06:33 +0200116#endif
Paul Bakker19343182013-08-16 13:31:10 +0200117 return( ret );
118}
119
SimonB152ea182016-02-15 23:27:28 +0000120
121/*----------------------------------------------------------------------------*/
122/* Main Test code */
123
SimonB15942102016-04-25 21:34:49 +0100124#line !LINE_NO! "main_test.function"
125
SimonB8ca7bc42016-04-17 23:24:50 +0100126#define USAGE \
127 "Usage: %s [OPTIONS] files...\n\n" \
128 " Command line arguments:\n" \
129 " files... One or more test data file. If no file is specified\n" \
130 " the followimg default test case is used:\n" \
131 " %s\n\n" \
132 " Options:\n" \
133 " -v | --verbose Display full information about each test\n" \
134 " -h | --help Display this information\n\n", \
135 argv[0], \
SimonB15942102016-04-25 21:34:49 +0100136 "TESTCASE_FILENAME"
SimonB8ca7bc42016-04-17 23:24:50 +0100137
138
Gilles Peskine964faeb2017-09-29 18:00:25 +0200139/** Retrieve one input line into buf, which must have room for len
140 * bytes. The trailing line break (if any) is stripped from the result.
141 * Lines beginning with the character '#' are skipped. Lines that are
142 * more than len-1 bytes long including the trailing line break are
143 * truncated; note that the following bytes remain in the input stream.
144 *
145 * \return 0 on success, -1 on error or end of file
146 */
Paul Bakker19343182013-08-16 13:31:10 +0200147int get_line( FILE *f, char *buf, size_t len )
148{
149 char *ret;
150
Gilles Peskine964faeb2017-09-29 18:00:25 +0200151 do
Gilles Peskineb04e2c32017-09-29 15:45:12 +0200152 {
153 ret = fgets( buf, len, f );
154 if( ret == NULL )
155 return( -1 );
Gilles Peskineb04e2c32017-09-29 15:45:12 +0200156 }
Gilles Peskine964faeb2017-09-29 18:00:25 +0200157 while( buf[0] == '#' );
158
159 ret = buf + strlen( buf );
160 if( ret-- > buf && *ret == '\n' )
161 *ret = '\0';
162 if( ret-- > buf && *ret == '\r' )
163 *ret = '\0';
Paul Bakker19343182013-08-16 13:31:10 +0200164
165 return( 0 );
166}
167
168int parse_arguments( char *buf, size_t len, char *params[50] )
169{
170 int cnt = 0, i;
171 char *cur = buf;
172 char *p = buf, *q;
173
174 params[cnt++] = cur;
175
176 while( *p != '\0' && p < buf + len )
177 {
178 if( *p == '\\' )
179 {
Manuel Pégourié-Gonnard2d5f1422014-01-22 16:01:17 +0100180 p++;
181 p++;
Paul Bakker19343182013-08-16 13:31:10 +0200182 continue;
183 }
184 if( *p == ':' )
185 {
186 if( p + 1 < buf + len )
187 {
188 cur = p + 1;
189 params[cnt++] = cur;
190 }
191 *p = '\0';
192 }
193
Manuel Pégourié-Gonnard2d5f1422014-01-22 16:01:17 +0100194 p++;
Paul Bakker19343182013-08-16 13:31:10 +0200195 }
196
SimonB0269dad2016-02-17 23:34:30 +0000197 /* Replace newlines, question marks and colons in strings */
Paul Bakker19343182013-08-16 13:31:10 +0200198 for( i = 0; i < cnt; i++ )
199 {
200 p = params[i];
201 q = params[i];
202
203 while( *p != '\0' )
204 {
205 if( *p == '\\' && *(p + 1) == 'n' )
206 {
207 p += 2;
208 *(q++) = '\n';
209 }
210 else if( *p == '\\' && *(p + 1) == ':' )
211 {
212 p += 2;
213 *(q++) = ':';
214 }
215 else if( *p == '\\' && *(p + 1) == '?' )
216 {
217 p += 2;
218 *(q++) = '?';
219 }
220 else
221 *(q++) = *(p++);
222 }
223 *q = '\0';
224 }
225
226 return( cnt );
227}
228
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200229static int test_snprintf( size_t n, const char ref_buf[10], int ref_ret )
230{
231 int ret;
232 char buf[10] = "xxxxxxxxx";
Manuel Pégourié-Gonnard4b00f082015-06-26 11:24:32 +0200233 const char ref[10] = "xxxxxxxxx";
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200234
235 ret = mbedtls_snprintf( buf, n, "%s", "123" );
236 if( ret < 0 || (size_t) ret >= n )
237 ret = -1;
238
Manuel Pégourié-Gonnard4b00f082015-06-26 11:24:32 +0200239 if( strncmp( ref_buf, buf, sizeof( buf ) ) != 0 ||
240 ref_ret != ret ||
241 memcmp( buf + n, ref + n, sizeof( buf ) - n ) != 0 )
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200242 {
243 return( 1 );
244 }
245
246 return( 0 );
247}
248
249static int run_test_snprintf( void )
250{
251 return( test_snprintf( 0, "xxxxxxxxx", -1 ) != 0 ||
Manuel Pégourié-Gonnard4b00f082015-06-26 11:24:32 +0200252 test_snprintf( 1, "", -1 ) != 0 ||
253 test_snprintf( 2, "1", -1 ) != 0 ||
254 test_snprintf( 3, "12", -1 ) != 0 ||
255 test_snprintf( 4, "123", 3 ) != 0 ||
256 test_snprintf( 5, "123", 3 ) != 0 );
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200257}
258
Simon Butcheraad787f2016-01-26 22:13:58 +0000259int main(int argc, const char *argv[])
Paul Bakker19343182013-08-16 13:31:10 +0200260{
SimonB8ca7bc42016-04-17 23:24:50 +0100261 /* Local Configurations and options */
SimonB15942102016-04-25 21:34:49 +0100262 const char *default_filename = "TESTCASE_FILENAME";
Simon Butcheraad787f2016-01-26 22:13:58 +0000263 const char *test_filename = NULL;
264 const char **test_files = NULL;
SimonB8ca7bc42016-04-17 23:24:50 +0100265 int testfile_count = 0;
266 int option_verbose = 0;
267
268 /* Other Local variables */
269 int arg_index = 1;
270 const char *next_arg;
271 int testfile_index, ret, i, cnt;
272 int total_errors = 0, total_tests = 0, total_skipped = 0;
Paul Bakker19343182013-08-16 13:31:10 +0200273 FILE *file;
274 char buf[5000];
275 char *params[50];
Manuel Pégourié-Gonnardd14acbc2015-05-29 11:26:37 +0200276 void *pointer;
Andres AGea67eeb2016-11-02 10:17:00 +0000277#if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
Simon Butchere0192962016-10-12 23:07:30 +0100278 int stdout_fd = -1;
Andres AGea67eeb2016-11-02 10:17:00 +0000279#endif /* __unix__ || __APPLE__ __MACH__ */
Paul Bakker19343182013-08-16 13:31:10 +0200280
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200281#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C) && \
Manuel Pégourié-Gonnard765bb312014-11-27 11:55:27 +0100282 !defined(TEST_SUITE_MEMORY_BUFFER_ALLOC)
Paul Bakker1337aff2013-09-29 14:45:34 +0200283 unsigned char alloc_buf[1000000];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200284 mbedtls_memory_buffer_alloc_init( alloc_buf, sizeof(alloc_buf) );
Paul Bakker19343182013-08-16 13:31:10 +0200285#endif
286
Manuel Pégourié-Gonnardd14acbc2015-05-29 11:26:37 +0200287 /*
288 * The C standard doesn't guarantee that all-bits-0 is the representation
289 * of a NULL pointer. We do however use that in our code for initializing
290 * structures, which should work on every modern platform. Let's be sure.
291 */
292 memset( &pointer, 0, sizeof( void * ) );
293 if( pointer != NULL )
294 {
295 mbedtls_fprintf( stderr, "all-bits-zero is not a NULL pointer\n" );
296 return( 1 );
297 }
298
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200299 /*
300 * Make sure we have a snprintf that correctly zero-terminates
301 */
302 if( run_test_snprintf() != 0 )
303 {
304 mbedtls_fprintf( stderr, "the snprintf implementation is broken\n" );
305 return( 0 );
306 }
307
SimonB8ca7bc42016-04-17 23:24:50 +0100308 while( arg_index < argc)
309 {
310 next_arg = argv[ arg_index ];
311
312 if( strcmp(next_arg, "--verbose" ) == 0 ||
313 strcmp(next_arg, "-v" ) == 0 )
314 {
315 option_verbose = 1;
316 }
317 else if( strcmp(next_arg, "--help" ) == 0 ||
318 strcmp(next_arg, "-h" ) == 0 )
319 {
320 mbedtls_fprintf( stdout, USAGE );
321 mbedtls_exit( EXIT_SUCCESS );
322 }
323 else
324 {
325 /* Not an option, therefore treat all further arguments as the file
326 * list.
327 */
328 test_files = &argv[ arg_index ];
329 testfile_count = argc - arg_index;
330 }
331
332 arg_index++;
333 }
334
335 /* If no files were specified, assume a default */
336 if ( test_files == NULL || testfile_count == 0 )
Paul Bakker19343182013-08-16 13:31:10 +0200337 {
Simon Butcheraad787f2016-01-26 22:13:58 +0000338 test_files = &default_filename;
339 testfile_count = 1;
340 }
Paul Bakker19343182013-08-16 13:31:10 +0200341
SimonB8ca7bc42016-04-17 23:24:50 +0100342 /* Now begin to execute the tests in the testfiles */
Simon Butcheraad787f2016-01-26 22:13:58 +0000343 for ( testfile_index = 0;
344 testfile_index < testfile_count;
345 testfile_index++ )
Paul Bakker19343182013-08-16 13:31:10 +0200346 {
Paul Bakker774180e2016-05-12 15:59:48 +0100347 int unmet_dep_count = 0;
348 char *unmet_dependencies[20];
349
Simon Butcheraad787f2016-01-26 22:13:58 +0000350 test_filename = test_files[ testfile_index ];
Paul Bakker19343182013-08-16 13:31:10 +0200351
Simon Butcheraad787f2016-01-26 22:13:58 +0000352 file = fopen( test_filename, "r" );
353 if( file == NULL )
Paul Bakker19343182013-08-16 13:31:10 +0200354 {
Simon Butcheraad787f2016-01-26 22:13:58 +0000355 mbedtls_fprintf( stderr, "Failed to open test file: %s\n",
356 test_filename );
357 return( 1 );
358 }
359
360 while( !feof( file ) )
361 {
Paul Bakker774180e2016-05-12 15:59:48 +0100362 if( unmet_dep_count > 0 )
363 {
Simon Butcher25731362016-09-30 13:11:29 +0100364 mbedtls_fprintf( stderr,
Janos Follath8ca53b52016-10-05 10:57:49 +0100365 "FATAL: Dep count larger than zero at start of loop\n" );
Paul Bakker774180e2016-05-12 15:59:48 +0100366 mbedtls_exit( MBEDTLS_EXIT_FAILURE );
367 }
368 unmet_dep_count = 0;
Simon Butcheraad787f2016-01-26 22:13:58 +0000369
370 if( ( ret = get_line( file, buf, sizeof(buf) ) ) != 0 )
371 break;
372 mbedtls_fprintf( stdout, "%s%.66s", test_errors ? "\n" : "", buf );
373 mbedtls_fprintf( stdout, " " );
374 for( i = strlen( buf ) + 1; i < 67; i++ )
375 mbedtls_fprintf( stdout, "." );
376 mbedtls_fprintf( stdout, " " );
377 fflush( stdout );
378
379 total_tests++;
Paul Bakker19343182013-08-16 13:31:10 +0200380
381 if( ( ret = get_line( file, buf, sizeof(buf) ) ) != 0 )
382 break;
383 cnt = parse_arguments( buf, strlen(buf), params );
Paul Bakker19343182013-08-16 13:31:10 +0200384
Simon Butcheraad787f2016-01-26 22:13:58 +0000385 if( strcmp( params[0], "depends_on" ) == 0 )
386 {
387 for( i = 1; i < cnt; i++ )
SimonB8ca7bc42016-04-17 23:24:50 +0100388 {
389 if( dep_check( params[i] ) != DEPENDENCY_SUPPORTED )
390 {
Paul Bakker26b60bf2016-05-12 15:55:37 +0100391 if( 0 == option_verbose )
392 {
393 /* Only one count is needed if not verbose */
394 unmet_dep_count++;
395 break;
396 }
397
Paul Bakkera30a72f2016-05-12 15:52:48 +0100398 unmet_dependencies[ unmet_dep_count ] = strdup(params[i]);
399 if( unmet_dependencies[ unmet_dep_count ] == NULL )
SimonB8ca7bc42016-04-17 23:24:50 +0100400 {
Janos Follath8ca53b52016-10-05 10:57:49 +0100401 mbedtls_fprintf( stderr, "FATAL: Out of memory\n" );
Janos Follath55abc212016-04-18 18:18:48 +0100402 mbedtls_exit( MBEDTLS_EXIT_FAILURE );
SimonB8ca7bc42016-04-17 23:24:50 +0100403 }
404 unmet_dep_count++;
405 }
406 }
Paul Bakker19343182013-08-16 13:31:10 +0200407
Simon Butcheraad787f2016-01-26 22:13:58 +0000408 if( ( ret = get_line( file, buf, sizeof(buf) ) ) != 0 )
409 break;
410 cnt = parse_arguments( buf, strlen(buf), params );
411 }
SimonB8ca7bc42016-04-17 23:24:50 +0100412
413 // If there are no unmet dependencies execute the test
414 if( unmet_dep_count == 0 )
Simon Butcheraad787f2016-01-26 22:13:58 +0000415 {
416 test_errors = 0;
Simon Butcher25731362016-09-30 13:11:29 +0100417
418#if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
419 /* Suppress all output from the library unless we're verbose
420 * mode
421 */
422 if( !option_verbose )
423 {
Janos Follath8ca53b52016-10-05 10:57:49 +0100424 stdout_fd = redirect_output( &stdout, "/dev/null" );
425 if( stdout_fd == -1 )
Simon Butcher25731362016-09-30 13:11:29 +0100426 {
427 /* Redirection has failed with no stdout so exit */
Janos Follath8ca53b52016-10-05 10:57:49 +0100428 exit( 1 );
Simon Butcher25731362016-09-30 13:11:29 +0100429 }
430 }
431#endif /* __unix__ || __APPLE__ __MACH__ */
432
Simon Butcheraad787f2016-01-26 22:13:58 +0000433 ret = dispatch_test( cnt, params );
Simon Butcher25731362016-09-30 13:11:29 +0100434
435#if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
Janos Follath8ca53b52016-10-05 10:57:49 +0100436 if( !option_verbose && restore_output( &stdout, stdout_fd ) )
Simon Butcher25731362016-09-30 13:11:29 +0100437 {
Simon Butcher25731362016-09-30 13:11:29 +0100438 /* Redirection has failed with no stdout so exit */
Janos Follath8ca53b52016-10-05 10:57:49 +0100439 exit( 1 );
Simon Butcher25731362016-09-30 13:11:29 +0100440 }
441#endif /* __unix__ || __APPLE__ __MACH__ */
442
Simon Butcheraad787f2016-01-26 22:13:58 +0000443 }
444
SimonB8ca7bc42016-04-17 23:24:50 +0100445 if( unmet_dep_count > 0 || ret == DISPATCH_UNSUPPORTED_SUITE )
Simon Butcheraad787f2016-01-26 22:13:58 +0000446 {
447 total_skipped++;
448 mbedtls_fprintf( stdout, "----\n" );
SimonB8ca7bc42016-04-17 23:24:50 +0100449
450 if( 1 == option_verbose && ret == DISPATCH_UNSUPPORTED_SUITE )
451 {
452 mbedtls_fprintf( stdout, " Test Suite not enabled" );
453 }
454
455 if( 1 == option_verbose && unmet_dep_count > 0 )
456 {
457 mbedtls_fprintf( stdout, " Unmet dependencies: " );
Paul Bakker774180e2016-05-12 15:59:48 +0100458 for( i = 0; i < unmet_dep_count; i++ )
SimonB8ca7bc42016-04-17 23:24:50 +0100459 {
460 mbedtls_fprintf(stdout, "%s ",
Paul Bakker774180e2016-05-12 15:59:48 +0100461 unmet_dependencies[i]);
462 free(unmet_dependencies[i]);
SimonB8ca7bc42016-04-17 23:24:50 +0100463 }
464 mbedtls_fprintf( stdout, "\n" );
465 }
Simon Butcheraad787f2016-01-26 22:13:58 +0000466 fflush( stdout );
Paul Bakker774180e2016-05-12 15:59:48 +0100467
468 unmet_dep_count = 0;
Simon Butcheraad787f2016-01-26 22:13:58 +0000469 }
SimonB8ca7bc42016-04-17 23:24:50 +0100470 else if( ret == DISPATCH_TEST_SUCCESS && test_errors == 0 )
Simon Butcheraad787f2016-01-26 22:13:58 +0000471 {
472 mbedtls_fprintf( stdout, "PASS\n" );
473 fflush( stdout );
474 }
SimonB8ca7bc42016-04-17 23:24:50 +0100475 else if( ret == DISPATCH_INVALID_TEST_DATA )
Simon Butcheraad787f2016-01-26 22:13:58 +0000476 {
477 mbedtls_fprintf( stderr, "FAILED: FATAL PARSE ERROR\n" );
478 fclose(file);
479 mbedtls_exit( 2 );
480 }
481 else
482 total_errors++;
483
484 if( ( ret = get_line( file, buf, sizeof(buf) ) ) != 0 )
485 break;
486 if( strlen(buf) != 0 )
487 {
488 mbedtls_fprintf( stderr, "Should be empty %d\n",
489 (int) strlen(buf) );
490 return( 1 );
491 }
Paul Bakker19343182013-08-16 13:31:10 +0200492 }
Simon Butcheraad787f2016-01-26 22:13:58 +0000493 fclose(file);
Paul Bakker774180e2016-05-12 15:59:48 +0100494
495 /* In case we encounter early end of file */
496 for( i = 0; i < unmet_dep_count; i++ )
497 free( unmet_dependencies[i] );
Paul Bakker19343182013-08-16 13:31:10 +0200498 }
Paul Bakker19343182013-08-16 13:31:10 +0200499
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200500 mbedtls_fprintf( stdout, "\n----------------------------------------------------------------------------\n\n");
Paul Bakker19343182013-08-16 13:31:10 +0200501 if( total_errors == 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200502 mbedtls_fprintf( stdout, "PASSED" );
Paul Bakker19343182013-08-16 13:31:10 +0200503 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200504 mbedtls_fprintf( stdout, "FAILED" );
Paul Bakker19343182013-08-16 13:31:10 +0200505
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200506 mbedtls_fprintf( stdout, " (%d / %d tests (%d skipped))\n",
Paul Bakker19343182013-08-16 13:31:10 +0200507 total_tests - total_errors, total_tests, total_skipped );
508
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200509#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C) && \
Manuel Pégourié-Gonnard765bb312014-11-27 11:55:27 +0100510 !defined(TEST_SUITE_MEMORY_BUFFER_ALLOC)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200511#if defined(MBEDTLS_MEMORY_DEBUG)
512 mbedtls_memory_buffer_alloc_status();
Paul Bakker19343182013-08-16 13:31:10 +0200513#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200514 mbedtls_memory_buffer_alloc_free();
Paul Bakker1337aff2013-09-29 14:45:34 +0200515#endif
Paul Bakker19343182013-08-16 13:31:10 +0200516
Simon Butchere0192962016-10-12 23:07:30 +0100517#if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
518 if( stdout_fd != -1 )
519 close_output( stdout );
520#endif /* __unix__ || __APPLE__ __MACH__ */
521
Paul Bakker19343182013-08-16 13:31:10 +0200522 return( total_errors != 0 );
523}
524