blob: 3278eb1361d97c7ff3994ed6068860b0ae84c721 [file] [log] [blame]
Paul Bakker367dae42009-06-28 21:50:27 +00001BEGIN_HEADER
2#include <polarssl/bignum.h>
3
4static int myrand( void *rng_state )
5{
6 if( rng_state != NULL )
7 rng_state = NULL;
8
9 return( rand() );
10}
11
12END_HEADER
13
14BEGIN_CASE
Paul Bakkerba48cb22009-07-12 11:01:32 +000015mpi_read_write_string:radix_X:input_X:radix_A:input_A:output_size:result_read:result_write
Paul Bakker367dae42009-06-28 21:50:27 +000016{
17 mpi X;
18 char str[1000];
Paul Bakkerba48cb22009-07-12 11:01:32 +000019 int len = {output_size};
Paul Bakker367dae42009-06-28 21:50:27 +000020
21 mpi_init(&X, NULL);
22
Paul Bakkerba48cb22009-07-12 11:01:32 +000023 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 }
Paul Bakkere896fea2009-07-06 06:40:23 +000032}
33END_CASE
34
35BEGIN_CASE
36mpi_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;
Paul Bakker69998dd2009-07-11 19:15:20 +000042 int input_len;
Paul Bakkere896fea2009-07-06 06:40:23 +000043
44 mpi_init(&X, NULL);
45
Paul Bakker69998dd2009-07-11 19:15:20 +000046 input_len = unhexify( buf, {input_X} );
Paul Bakkere896fea2009-07-06 06:40:23 +000047
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}
52END_CASE
53
54BEGIN_CASE
Paul Bakkerba48cb22009-07-12 11:01:32 +000055mpi_write_binary:radix_X:input_X:input_A:output_size:result
Paul Bakkere896fea2009-07-06 06:40:23 +000056{
57 mpi X;
58 unsigned char str[1000];
59 unsigned char buf[1000];
Paul Bakker69998dd2009-07-11 19:15:20 +000060 int buflen;
Paul Bakkere896fea2009-07-06 06:40:23 +000061
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
Paul Bakker69998dd2009-07-11 19:15:20 +000069 buflen = mpi_size( &X );
Paul Bakkerba48cb22009-07-12 11:01:32 +000070 if( buflen > {output_size} )
71 buflen = {output_size};
Paul Bakkere896fea2009-07-06 06:40:23 +000072
Paul Bakkerba48cb22009-07-12 11:01:32 +000073 TEST_ASSERT( mpi_write_binary( &X, buf, buflen ) == {result} );
74 if( {result} == 0)
75 {
76 hexify( str, buf, buflen );
Paul Bakkere896fea2009-07-06 06:40:23 +000077
Paul Bakkerba48cb22009-07-12 11:01:32 +000078 TEST_ASSERT( strcasecmp( (char *) str, {input_A} ) == 0 );
79 }
Paul Bakkere896fea2009-07-06 06:40:23 +000080}
81END_CASE
82
83BEGIN_CASE
Paul Bakkerba48cb22009-07-12 11:01:32 +000084mpi_read_file:radix_X:input_file:input_A:result
Paul Bakkere896fea2009-07-06 06:40:23 +000085{
86 mpi X;
87 unsigned char str[1000];
88 unsigned char buf[1000];
Paul Bakker69998dd2009-07-11 19:15:20 +000089 int buflen;
90 FILE *file;
Paul Bakkere896fea2009-07-06 06:40:23 +000091
92 memset( buf, 0x00, 1000 );
93 memset( str, 0x00, 1000 );
94
95 mpi_init(&X, NULL);
96
Paul Bakker69998dd2009-07-11 19:15:20 +000097 file = fopen( {input_file}, "r" );
Paul Bakkerba48cb22009-07-12 11:01:32 +000098 TEST_ASSERT( mpi_read_file( &X, {radix_X}, file ) == {result} );
Paul Bakkere896fea2009-07-06 06:40:23 +000099 fclose(file);
100
Paul Bakkerba48cb22009-07-12 11:01:32 +0000101 if( {result} == 0 )
102 {
103 buflen = mpi_size( &X );
104 TEST_ASSERT( mpi_write_binary( &X, buf, buflen ) == 0 );
Paul Bakkere896fea2009-07-06 06:40:23 +0000105
Paul Bakkerba48cb22009-07-12 11:01:32 +0000106 hexify( str, buf, buflen );
Paul Bakkere896fea2009-07-06 06:40:23 +0000107
Paul Bakkerba48cb22009-07-12 11:01:32 +0000108 TEST_ASSERT( strcasecmp( (char *) str, {input_A} ) == 0 );
109 }
Paul Bakkere896fea2009-07-06 06:40:23 +0000110}
111END_CASE
112
113BEGIN_CASE
114mpi_write_file:radix_X:input_X:output_radix:output_file
115{
116 mpi X, Y;
Paul Bakker69998dd2009-07-11 19:15:20 +0000117 FILE *file_out, *file_in;
118
Paul Bakkere896fea2009-07-06 06:40:23 +0000119 mpi_init( &X, &Y, NULL );
120
121 TEST_ASSERT( mpi_read_string( &X, {radix_X}, {input_X} ) == 0 );
122
Paul Bakker69998dd2009-07-11 19:15:20 +0000123 file_out = fopen( {output_file}, "w" );
Paul Bakkere896fea2009-07-06 06:40:23 +0000124 TEST_ASSERT( mpi_write_file( NULL, &X, {output_radix}, file_out ) == 0 );
125 fclose(file_out);
126
Paul Bakker69998dd2009-07-11 19:15:20 +0000127 file_in = fopen( {output_file}, "r" );
Paul Bakkere896fea2009-07-06 06:40:23 +0000128 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}
133END_CASE
134
135BEGIN_CASE
136mpi_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}
144END_CASE
145
146BEGIN_CASE
147mpi_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} );
Paul Bakker367dae42009-06-28 21:50:27 +0000154}
155END_CASE
156
157BEGIN_CASE
158mpi_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}
169END_CASE
170
171BEGIN_CASE
172mpi_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}
180END_CASE
181
182BEGIN_CASE
183mpi_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}
192END_CASE
193
194BEGIN_CASE
195mpi_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}
204END_CASE
205
206BEGIN_CASE
207mpi_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}
221END_CASE
222
223BEGIN_CASE
Paul Bakkere896fea2009-07-06 06:40:23 +0000224mpi_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}
233END_CASE
234
235BEGIN_CASE
Paul Bakker367dae42009-06-28 21:50:27 +0000236mpi_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}
250END_CASE
251
252BEGIN_CASE
253mpi_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}
264END_CASE
265
266BEGIN_CASE
267mpi_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}
278END_CASE
279
280BEGIN_CASE
Paul Bakkerba48cb22009-07-12 11:01:32 +0000281mpi_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}
292END_CASE
293
294BEGIN_CASE
295mpi_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}
306END_CASE
307
308BEGIN_CASE
Paul Bakker367dae42009-06-28 21:50:27 +0000309mpi_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}
319END_CASE
320
321BEGIN_CASE
322mpi_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}
333END_CASE
334
335BEGIN_CASE
336mpi_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}
351END_CASE
352
353BEGIN_CASE
354mpi_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}
364END_CASE
365
366BEGIN_CASE
367mpi_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}
378END_CASE
379
380BEGIN_CASE
381mpi_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}
391END_CASE
392
393BEGIN_CASE
394mpi_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}
412END_CASE
413
414BEGIN_CASE
415mpi_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}
432END_CASE
433
434BEGIN_CASE
435mpi_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}
451END_CASE
452
453BEGIN_CASE
454mpi_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}
469END_CASE
470
471BEGIN_CASE
472mpi_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}
493END_CASE
494
495BEGIN_CASE
496mpi_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}
512END_CASE
513
514BEGIN_CASE
515mpi_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}
525END_CASE
526
527BEGIN_CASE
528mpi_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}
538END_CASE
539
540BEGIN_CASE
541mpi_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}
551END_CASE
552
Paul Bakkere896fea2009-07-06 06:40:23 +0000553BEGIN_CASE
554mpi_selftest:
555{
556 TEST_ASSERT( mpi_self_test( 0 ) == 0 );
557}
558END_CASE
Paul Bakker367dae42009-06-28 21:50:27 +0000559/* 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*/