add changelog and NEWS entry
[gnuk/gnuk.git] / polarssl-0.14.0 / tests / suites / test_suite_mpi.function
1 BEGIN_HEADER
2 #include <polarssl/bignum.h>
3
4 static int myrand( void *rng_state )
5 {
6     if( rng_state != NULL )
7         rng_state  = NULL;
8
9     return( rand() );
10 }
11
12 END_HEADER
13
14 BEGIN_CASE
15 mpi_read_write_string:radix_X:input_X:radix_A:input_A:output_size:result_read:result_write
16 {
17     mpi X;
18     char str[1000];
19     int len = {output_size};
20
21     mpi_init(&X, NULL);
22
23     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == {result_read} );
24     if( {result_read} == 0 )
25     {
26         TEST_ASSERT( mpi_write_string( &X, {radix_A}, str, &len ) == {result_write} );
27         if( {result_write} == 0 )
28         {
29             TEST_ASSERT( strcasecmp( str, {input_A} ) == 0 );
30         }
31     }
32 }
33 END_CASE
34
35 BEGIN_CASE
36 mpi_read_binary:input_X:radix_A:input_A
37 {
38     mpi X;
39     unsigned char str[1000];
40     unsigned char buf[1000];
41     int len = 1000;
42     int input_len;
43
44     mpi_init(&X, NULL);
45
46     input_len = unhexify( buf, {input_X} );
47
48     TEST_ASSERT( mpi_read_binary( &X, buf, input_len ) == 0 );
49     TEST_ASSERT( mpi_write_string( &X, {radix_A}, (char *) str, &len ) == 0 );
50     TEST_ASSERT( strcmp( (char *) str, {input_A} ) == 0 );
51 }
52 END_CASE
53
54 BEGIN_CASE
55 mpi_write_binary:radix_X:input_X:input_A:output_size:result
56 {
57     mpi X;
58     unsigned char str[1000];
59     unsigned char buf[1000];
60     int buflen;
61
62     memset( buf, 0x00, 1000 );
63     memset( str, 0x00, 1000 );
64
65     mpi_init(&X, NULL);
66
67     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
68     
69     buflen = mpi_size( &X );
70     if( buflen > {output_size} )
71         buflen = {output_size};
72
73     TEST_ASSERT( mpi_write_binary( &X, buf, buflen ) == {result} );
74     if( {result} == 0)
75     {
76         hexify( str, buf, buflen );
77
78         TEST_ASSERT( strcasecmp( (char *) str, {input_A} ) == 0 );
79     }
80 }
81 END_CASE
82
83 BEGIN_CASE
84 mpi_read_file:radix_X:input_file:input_A:result
85 {
86     mpi X;
87     unsigned char str[1000];
88     unsigned char buf[1000];
89     int buflen;
90     FILE *file;
91
92     memset( buf, 0x00, 1000 );
93     memset( str, 0x00, 1000 );
94
95     mpi_init(&X, NULL);
96
97     file = fopen( {input_file}, "r" );
98     TEST_ASSERT( mpi_read_file( &X, {radix_X}, file ) == {result} );
99     fclose(file);
100
101     if( {result} == 0 )
102     {
103         buflen = mpi_size( &X );
104         TEST_ASSERT( mpi_write_binary( &X, buf, buflen ) == 0 );
105
106         hexify( str, buf, buflen );
107
108         TEST_ASSERT( strcasecmp( (char *) str, {input_A} ) == 0 );
109     }
110 }
111 END_CASE
112
113 BEGIN_CASE
114 mpi_write_file:radix_X:input_X:output_radix:output_file
115 {
116     mpi X, Y;
117     FILE *file_out, *file_in;
118
119     mpi_init( &X, &Y, NULL );
120
121     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
122
123     file_out = fopen( {output_file}, "w" );
124     TEST_ASSERT( mpi_write_file( NULL, &X, {output_radix}, file_out ) == 0 );
125     fclose(file_out);
126
127     file_in = fopen( {output_file}, "r" );
128     TEST_ASSERT( mpi_read_file( &Y, {output_radix}, file_in ) == 0 );
129     fclose(file_in);
130
131     TEST_ASSERT( mpi_cmp_mpi( &X, &Y ) == 0 );
132 }
133 END_CASE
134
135 BEGIN_CASE
136 mpi_lsb:radix_X:input_X:nr_bits
137 {
138     mpi X;
139     mpi_init(&X, NULL);
140
141     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
142     TEST_ASSERT( mpi_lsb( &X ) == {nr_bits} );
143 }
144 END_CASE
145
146 BEGIN_CASE
147 mpi_msb:radix_X:input_X:nr_bits
148 {
149     mpi X;
150     mpi_init(&X, NULL);
151
152     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
153     TEST_ASSERT( mpi_msb( &X ) == {nr_bits} );
154 }
155 END_CASE
156
157 BEGIN_CASE
158 mpi_gcd:radix_X:input_X:radix_Y:input_Y:radix_A:input_A
159 {
160     mpi A, X, Y, Z;
161     mpi_init(&A, &X, &Y, &Z, NULL);
162
163     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
164     TEST_ASSERT( mpi_read_string( &Y, {radix_Y}, {input_Y} ) == 0 );
165     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
166     TEST_ASSERT( mpi_gcd( &Z, &X, &Y ) == 0 );
167     TEST_ASSERT( mpi_cmp_mpi( &Z, &A ) == 0 );
168 }
169 END_CASE
170
171 BEGIN_CASE
172 mpi_cmp_int:input_X:input_A:result_CMP
173 {
174     mpi X;
175     mpi_init(&X, NULL);
176
177     TEST_ASSERT( mpi_lset( &X, {input_X} ) == 0);
178     TEST_ASSERT( mpi_cmp_int( &X, {input_A} ) == {result_CMP});
179 }
180 END_CASE
181
182 BEGIN_CASE
183 mpi_cmp_mpi:radix_X:input_X:radix_Y:input_Y:input_A
184 {
185     mpi X, Y;
186     mpi_init(&X, &Y, NULL);
187
188     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
189     TEST_ASSERT( mpi_read_string( &Y, {radix_Y}, {input_Y} ) == 0 );
190     TEST_ASSERT( mpi_cmp_mpi( &X, &Y ) == {input_A} );
191 }
192 END_CASE
193
194 BEGIN_CASE
195 mpi_cmp_abs:radix_X:input_X:radix_Y:input_Y:input_A
196 {
197     mpi X, Y;
198     mpi_init(&X, &Y, NULL);
199
200     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
201     TEST_ASSERT( mpi_read_string( &Y, {radix_Y}, {input_Y} ) == 0 );
202     TEST_ASSERT( mpi_cmp_abs( &X, &Y ) == {input_A} );
203 }
204 END_CASE
205
206 BEGIN_CASE
207 mpi_copy:input_X:input_A
208 {
209     mpi X, Y, A;
210     mpi_init(&X, &Y, &A, NULL);
211
212     TEST_ASSERT( mpi_lset( &X, {input_X} ) == 0 );
213     TEST_ASSERT( mpi_lset( &Y, {input_A} ) == 0 );
214     TEST_ASSERT( mpi_lset( &A, {input_A} ) == 0 );
215     TEST_ASSERT( mpi_cmp_mpi( &X, &Y ) != 0 );
216     TEST_ASSERT( mpi_cmp_mpi( &Y, &A ) == 0 );
217     TEST_ASSERT( mpi_copy( &Y, &X ) == 0 );
218     TEST_ASSERT( mpi_cmp_mpi( &X, &Y ) == 0 );
219     TEST_ASSERT( mpi_cmp_mpi( &Y, &A ) != 0 );
220 }
221 END_CASE
222
223 BEGIN_CASE
224 mpi_copy_self:input_X
225 {
226     mpi X;
227     mpi_init(&X, NULL);
228
229     TEST_ASSERT( mpi_lset( &X, {input_X} ) == 0 );
230     TEST_ASSERT( mpi_copy( &X, &X ) == 0 );
231     TEST_ASSERT( mpi_cmp_int( &X, {input_X} ) == 0 );
232 }
233 END_CASE
234
235 BEGIN_CASE
236 mpi_swap:input_X:input_Y
237 {
238     mpi X, Y, A;
239     mpi_init(&X, &Y, &A, NULL);
240
241     TEST_ASSERT( mpi_lset( &X, {input_X} ) == 0 );
242     TEST_ASSERT( mpi_lset( &Y, {input_Y} ) == 0 );
243     TEST_ASSERT( mpi_lset( &A, {input_X} ) == 0 );
244     TEST_ASSERT( mpi_cmp_mpi( &X, &Y ) != 0 );
245     TEST_ASSERT( mpi_cmp_mpi( &X, &A ) == 0 );
246     mpi_swap( &X, &Y );
247     TEST_ASSERT( mpi_cmp_mpi( &X, &Y ) != 0 );
248     TEST_ASSERT( mpi_cmp_mpi( &Y, &A ) == 0 );
249 }
250 END_CASE
251
252 BEGIN_CASE
253 mpi_add_mpi:radix_X:input_X:radix_Y:input_Y:radix_A:input_A
254 {
255     mpi X, Y, Z, A;
256     mpi_init(&X, &Y, &Z, &A, NULL);
257
258     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
259     TEST_ASSERT( mpi_read_string( &Y, {radix_Y}, {input_Y} ) == 0 );
260     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
261     TEST_ASSERT( mpi_add_mpi( &Z, &X, &Y ) == 0 );
262     TEST_ASSERT( mpi_cmp_mpi( &Z, &A ) == 0 );
263 }
264 END_CASE
265
266 BEGIN_CASE
267 mpi_add_abs:radix_X:input_X:radix_Y:input_Y:radix_A:input_A
268 {
269     mpi X, Y, Z, A;
270     mpi_init(&X, &Y, &Z, &A, NULL);
271
272     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
273     TEST_ASSERT( mpi_read_string( &Y, {radix_Y}, {input_Y} ) == 0 );
274     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
275     TEST_ASSERT( mpi_add_abs( &Z, &X, &Y ) == 0 );
276     TEST_ASSERT( mpi_cmp_mpi( &Z, &A ) == 0 );
277 }
278 END_CASE
279
280 BEGIN_CASE
281 mpi_add_abs_add_first:radix_X:input_X:radix_Y:input_Y:radix_A:input_A
282 {
283     mpi X, Y, A;
284     mpi_init(&X, &Y, &A, NULL);
285
286     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
287     TEST_ASSERT( mpi_read_string( &Y, {radix_Y}, {input_Y} ) == 0 );
288     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
289     TEST_ASSERT( mpi_add_abs( &X, &X, &Y ) == 0 );
290     TEST_ASSERT( mpi_cmp_mpi( &X, &A ) == 0 );
291 }
292 END_CASE
293
294 BEGIN_CASE
295 mpi_add_abs_add_second:radix_X:input_X:radix_Y:input_Y:radix_A:input_A
296 {
297     mpi X, Y, A;
298     mpi_init(&X, &Y, &A, NULL);
299
300     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
301     TEST_ASSERT( mpi_read_string( &Y, {radix_Y}, {input_Y} ) == 0 );
302     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
303     TEST_ASSERT( mpi_add_abs( &Y, &X, &Y ) == 0 );
304     TEST_ASSERT( mpi_cmp_mpi( &Y, &A ) == 0 );
305 }
306 END_CASE
307
308 BEGIN_CASE
309 mpi_add_int:radix_X:input_X:input_Y:radix_A:input_A
310 {
311     mpi X, Z, A;
312     mpi_init(&X, &Z, &A, NULL);
313
314     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
315     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
316     TEST_ASSERT( mpi_add_int( &Z, &X, {input_Y} ) == 0 );
317     TEST_ASSERT( mpi_cmp_mpi( &Z, &A ) == 0 );
318 }
319 END_CASE
320
321 BEGIN_CASE
322 mpi_sub_mpi:radix_X:input_X:radix_Y:input_Y:radix_A:input_A
323 {
324     mpi X, Y, Z, A;
325     mpi_init(&X, &Y, &Z, &A, NULL);
326
327     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
328     TEST_ASSERT( mpi_read_string( &Y, {radix_Y}, {input_Y} ) == 0 );
329     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
330     TEST_ASSERT( mpi_sub_mpi( &Z, &X, &Y ) == 0 );
331     TEST_ASSERT( mpi_cmp_mpi( &Z, &A ) == 0 );
332 }
333 END_CASE
334
335 BEGIN_CASE
336 mpi_sub_abs:radix_X:input_X:radix_Y:input_Y:radix_A:input_A:sub_result
337 {
338     mpi X, Y, Z, A;
339     int res;
340     mpi_init(&X, &Y, &Z, &A, NULL);
341
342     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
343     TEST_ASSERT( mpi_read_string( &Y, {radix_Y}, {input_Y} ) == 0 );
344     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
345     
346     res = mpi_sub_abs( &Z, &X, &Y );
347     TEST_ASSERT( res == {sub_result} );
348     if( res == 0 )
349         TEST_ASSERT( mpi_cmp_mpi( &Z, &A ) == 0 );
350 }
351 END_CASE
352
353 BEGIN_CASE
354 mpi_sub_int:radix_X:input_X:input_Y:radix_A:input_A
355 {
356     mpi X, Z, A;
357     mpi_init(&X, &Z, &A, NULL);
358
359     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
360     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
361     TEST_ASSERT( mpi_sub_int( &Z, &X, {input_Y} ) == 0 );
362     TEST_ASSERT( mpi_cmp_mpi( &Z, &A ) == 0 );
363 }
364 END_CASE
365
366 BEGIN_CASE
367 mpi_mul_mpi:radix_X:input_X:radix_Y:input_Y:radix_A:input_A
368 {
369     mpi X, Y, Z, A;
370     mpi_init(&X, &Y, &Z, &A, NULL);
371
372     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
373     TEST_ASSERT( mpi_read_string( &Y, {radix_Y}, {input_Y} ) == 0 );
374     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
375     TEST_ASSERT( mpi_mul_mpi( &Z, &X, &Y ) == 0 );
376     TEST_ASSERT( mpi_cmp_mpi( &Z, &A ) == 0 );
377 }
378 END_CASE
379
380 BEGIN_CASE
381 mpi_mul_int:radix_X:input_X:input_Y:radix_A:input_A:result_comparison
382 {
383     mpi X, Z, A;
384     mpi_init(&X, &Z, &A, NULL);
385
386     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
387     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
388     TEST_ASSERT( mpi_mul_int( &Z, &X, {input_Y} ) == 0 );
389     TEST_ASSERT( mpi_cmp_mpi( &Z, &A ) {result_comparison} 0 );
390 }
391 END_CASE
392
393 BEGIN_CASE
394 mpi_div_mpi:radix_X:input_X:radix_Y:input_Y:radix_A:input_A:radix_B:input_B:div_result
395 {
396     mpi X, Y, Q, R, A, B;
397     int res;
398     mpi_init(&X, &Y, &Q, &R, &A, &B, NULL);
399
400     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
401     TEST_ASSERT( mpi_read_string( &Y, {radix_Y}, {input_Y} ) == 0 );
402     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
403     TEST_ASSERT( mpi_read_string( &B, {radix_B}, {input_B} ) == 0 );
404     res = mpi_div_mpi( &Q, &R, &X, &Y );
405     TEST_ASSERT( res == {div_result} );
406     if( res == 0 )
407     {
408         TEST_ASSERT( mpi_cmp_mpi( &Q, &A ) == 0 );
409         TEST_ASSERT( mpi_cmp_mpi( &R, &B ) == 0 );
410     }
411 }
412 END_CASE
413
414 BEGIN_CASE
415 mpi_div_int:radix_X:input_X:input_Y:radix_A:input_A:radix_B:input_B:div_result
416 {
417     mpi X, Q, R, A, B;
418     int res;
419     mpi_init(&X, &Q, &R, &A, &B, NULL);
420
421     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
422     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
423     TEST_ASSERT( mpi_read_string( &B, {radix_B}, {input_B} ) == 0 );
424     res = mpi_div_int( &Q, &R, &X, {input_Y} );
425     TEST_ASSERT( res == {div_result} );
426     if( res == 0 )
427     {
428         TEST_ASSERT( mpi_cmp_mpi( &Q, &A ) == 0 );
429         TEST_ASSERT( mpi_cmp_mpi( &R, &B ) == 0 );
430     }
431 }
432 END_CASE
433
434 BEGIN_CASE
435 mpi_mod_mpi:radix_X:input_X:radix_Y:input_Y:radix_A:input_A:div_result
436 {
437     mpi X, Y, Z, A;
438     int res;
439     mpi_init(&X, &Y, &Z, &A, NULL);
440
441     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
442     TEST_ASSERT( mpi_read_string( &Y, {radix_Y}, {input_Y} ) == 0 );
443     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
444     res = mpi_mod_mpi( &Z, &X, &Y );
445     TEST_ASSERT( res == {div_result} );
446     if( res == 0 )
447     {
448         TEST_ASSERT( mpi_cmp_mpi( &Z, &A ) == 0 );
449     }
450 }
451 END_CASE
452
453 BEGIN_CASE
454 mpi_mod_int:radix_X:input_X:input_Y:input_A:div_result
455 {
456     mpi X;
457     int res;
458     t_int r;
459     mpi_init(&X, NULL);
460
461     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
462     res = mpi_mod_int( &r, &X, {input_Y} );
463     TEST_ASSERT( res == {div_result} );
464     if( res == 0 )
465     {
466         TEST_ASSERT( r == {input_A} );
467     }
468 }
469 END_CASE
470
471 BEGIN_CASE
472 mpi_exp_mod:radix_A:input_A:radix_E:input_E:radix_N:input_N:radix_RR:input_RR:radix_X:input_X:div_result
473 {
474     mpi A, E, N, RR, Z, X;
475     int res;
476     mpi_init(&A, &E, &N, &RR, &Z, &X, NULL);
477
478     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
479     TEST_ASSERT( mpi_read_string( &E, {radix_E}, {input_E} ) == 0 );
480     TEST_ASSERT( mpi_read_string( &N, {radix_N}, {input_N} ) == 0 );
481     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
482
483     if( strlen( {input_RR} ) )
484         TEST_ASSERT( mpi_read_string( &RR, {radix_RR}, {input_RR} ) == 0 );
485
486     res = mpi_exp_mod( &Z, &A, &E, &N, &RR );
487     TEST_ASSERT( res == {div_result} );
488     if( res == 0 )
489     {
490         TEST_ASSERT( mpi_cmp_mpi( &Z, &X ) == 0 );
491     }
492 }
493 END_CASE
494
495 BEGIN_CASE
496 mpi_inv_mod:radix_X:input_X:radix_Y:input_Y:radix_A:input_A:div_result
497 {
498     mpi X, Y, Z, A;
499     int res;
500     mpi_init(&X, &Y, &Z, &A, NULL);
501
502     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
503     TEST_ASSERT( mpi_read_string( &Y, {radix_Y}, {input_Y} ) == 0 );
504     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
505     res = mpi_inv_mod( &Z, &X, &Y );
506     TEST_ASSERT( res == {div_result} );
507     if( res == 0 )
508     {
509         TEST_ASSERT( mpi_cmp_mpi( &Z, &A ) == 0 );
510     }
511 }
512 END_CASE
513
514 BEGIN_CASE
515 mpi_is_prime:radix_X:input_X:div_result
516 {
517     mpi X;
518     int res;
519     mpi_init(&X, NULL);
520
521     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
522     res = mpi_is_prime( &X, myrand, NULL );
523     TEST_ASSERT( res == {div_result} );
524 }
525 END_CASE
526
527 BEGIN_CASE
528 mpi_shift_l:radix_X:input_X:shift_X:radix_A:input_A
529 {
530     mpi X, A;
531     mpi_init(&X, &A, NULL);
532
533     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
534     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
535     TEST_ASSERT( mpi_shift_l( &X, {shift_X} ) == 0 );
536     TEST_ASSERT( mpi_cmp_mpi( &X, &A ) == 0 );
537 }
538 END_CASE
539
540 BEGIN_CASE
541 mpi_shift_r:radix_X:input_X:shift_X:radix_A:input_A
542 {
543     mpi X, A;
544     mpi_init(&X, &A, NULL);
545
546     TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
547     TEST_ASSERT( mpi_read_string( &A, {radix_A}, {input_A} ) == 0 );
548     TEST_ASSERT( mpi_shift_r( &X, {shift_X} ) == 0 );
549     TEST_ASSERT( mpi_cmp_mpi( &X, &A ) == 0 );
550 }
551 END_CASE
552
553 BEGIN_CASE
554 mpi_selftest:
555 {
556     TEST_ASSERT( mpi_self_test( 0 ) == 0 );
557 }
558 END_CASE
559 /* Helper Code
560     char str[1000];
561     int len = 1000;
562     mpi_write_string(&Z, 10, str, &len);
563     printf("Z: %d %s\n", Z.s, str);
564     TEST_ASSERT( mpi_cmp_mpi( &Z, &A ) == 0 );
565 */