Lines Matching refs:TEST_ASSERT
111 TEST_ASSERT(mbedtls_mpi_get_bit(&X, 42) == 0);
112 TEST_ASSERT(mbedtls_mpi_lsb(&X) == 0);
113 TEST_ASSERT(mbedtls_mpi_bitlen(&X) == 0);
114 TEST_ASSERT(mbedtls_mpi_size(&X) == 0);
134 TEST_ASSERT(mbedtls_mpi_read_string(&X, radix_X, input_X) == result_read);
136 TEST_ASSERT(sign_is_valid(&X));
137 TEST_ASSERT(mbedtls_mpi_write_string(&X, radix_A, str, output_size, &len) == result_write);
139 TEST_ASSERT(strcmp(str, input_A) == 0);
140 TEST_ASSERT(str[len] == '!');
179 TEST_ASSERT(mbedtls_mpi_read_binary(&X, buf->x, buf->len) == 0);
180 TEST_ASSERT(sign_is_valid(&X));
181 TEST_ASSERT(mbedtls_mpi_write_string(&X, 16, str, sizeof(str), &len) == 0);
182 TEST_ASSERT(strcmp((char *) str, input_A) == 0);
199 TEST_ASSERT(mbedtls_mpi_read_binary_le(&X, buf->x, buf->len) == 0);
200 TEST_ASSERT(sign_is_valid(&X));
201 TEST_ASSERT(mbedtls_mpi_write_string(&X, 16, str, sizeof(str), &len) == 0);
202 TEST_ASSERT(strcmp((char *) str, input_A) == 0);
221 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
228 TEST_ASSERT(mbedtls_mpi_write_binary(&X, buf, buflen) == result);
231 TEST_ASSERT(mbedtls_test_hexcmp(buf, input_A->x,
252 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
259 TEST_ASSERT(mbedtls_mpi_write_binary_le(&X, buf, buflen) == result);
262 TEST_ASSERT(mbedtls_test_hexcmp(buf, input_A->x,
285 TEST_ASSERT(file != NULL);
288 TEST_ASSERT(ret == result);
291 TEST_ASSERT(sign_is_valid(&X));
293 TEST_ASSERT(mbedtls_mpi_write_binary(&X, buf, buflen) == 0);
296 TEST_ASSERT(mbedtls_test_hexcmp(buf, input_A->x,
314 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
317 TEST_ASSERT(file_out != NULL);
320 TEST_ASSERT(ret == 0);
323 TEST_ASSERT(file_in != NULL);
326 TEST_ASSERT(ret == 0);
328 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &Y) == 0);
340 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
341 TEST_ASSERT(mbedtls_mpi_get_bit(&X, pos) == val);
355 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
356 TEST_ASSERT(mbedtls_test_read_mpi(&Y, output_Y) == 0);
357 TEST_ASSERT(mbedtls_mpi_set_bit(&X, pos, val) == result);
360 TEST_ASSERT(sign_is_valid(&X));
361 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &Y) == 0);
375 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
376 TEST_ASSERT(mbedtls_mpi_lsb(&X) == (size_t) nr_bits);
389 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
390 TEST_ASSERT(mbedtls_mpi_bitlen(&X) == (size_t) nr_bits);
404 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
405 TEST_ASSERT(mbedtls_test_read_mpi(&Y, input_Y) == 0);
406 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_A) == 0);
407 TEST_ASSERT(mbedtls_mpi_gcd(&Z, &X, &Y) == 0);
408 TEST_ASSERT(sign_is_valid(&Z));
409 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Z, &A) == 0);
422 TEST_ASSERT(mbedtls_mpi_lset(&X, input_X) == 0);
423 TEST_ASSERT(mbedtls_mpi_cmp_int(&X, input_A) == result_CMP);
437 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
438 TEST_ASSERT(mbedtls_test_read_mpi(&Y, input_Y) == 0);
439 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &Y) == input_A);
456 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
457 TEST_ASSERT(mbedtls_test_read_mpi(&Y, input_Y) == 0);
459 TEST_ASSERT(mbedtls_mpi_grow(&X, size_X) == 0);
460 TEST_ASSERT(mbedtls_mpi_grow(&Y, size_Y) == 0);
462 TEST_ASSERT(mbedtls_mpi_lt_mpi_ct(&X, &Y, &ret) == input_err);
479 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
480 TEST_ASSERT(mbedtls_test_read_mpi(&Y, input_Y) == 0);
481 TEST_ASSERT(mbedtls_mpi_cmp_abs(&X, &Y) == input_A);
496 TEST_ASSERT(mbedtls_test_read_mpi(&src, src_hex) == 0);
497 TEST_ASSERT(mbedtls_test_read_mpi(&ref, dst_hex) == 0);
500 TEST_ASSERT(mbedtls_test_read_mpi(&dst, dst_hex) == 0);
501 TEST_ASSERT(mbedtls_mpi_copy(&dst, &src) == 0);
502 TEST_ASSERT(sign_is_valid(&dst));
503 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&dst, &src) == 0);
507 TEST_ASSERT(mbedtls_test_read_mpi(&dst, dst_hex) == 0);
508 TEST_ASSERT(mbedtls_mpi_safe_cond_assign(&dst, &src, 1) == 0);
509 TEST_ASSERT(sign_is_valid(&dst));
510 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&dst, &src) == 0);
514 TEST_ASSERT(mbedtls_test_read_mpi(&dst, dst_hex) == 0);
515 TEST_ASSERT(mbedtls_mpi_safe_cond_assign(&dst, &src, 0) == 0);
516 TEST_ASSERT(sign_is_valid(&dst));
517 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&dst, &ref) == 0);
533 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
534 TEST_ASSERT(mbedtls_mpi_copy(&X, &X) == 0);
536 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_X) == 0);
537 TEST_ASSERT(sign_is_valid(&X));
538 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
553 TEST_ASSERT(mbedtls_test_read_mpi(&X0, X_hex) == 0);
554 TEST_ASSERT(mbedtls_test_read_mpi(&Y0, Y_hex) == 0);
557 TEST_ASSERT(mbedtls_test_read_mpi(&X, X_hex) == 0);
558 TEST_ASSERT(mbedtls_test_read_mpi(&Y, Y_hex) == 0);
560 TEST_ASSERT(sign_is_valid(&X));
561 TEST_ASSERT(sign_is_valid(&Y));
562 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &Y0) == 0);
563 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Y, &X0) == 0);
568 TEST_ASSERT(mbedtls_test_read_mpi(&X, X_hex) == 0);
569 TEST_ASSERT(mbedtls_test_read_mpi(&Y, Y_hex) == 0);
570 TEST_ASSERT(mbedtls_mpi_safe_cond_swap(&X, &Y, 1) == 0);
571 TEST_ASSERT(sign_is_valid(&X));
572 TEST_ASSERT(sign_is_valid(&Y));
573 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &Y0) == 0);
574 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Y, &X0) == 0);
579 TEST_ASSERT(mbedtls_test_read_mpi(&X, X_hex) == 0);
580 TEST_ASSERT(mbedtls_test_read_mpi(&Y, Y_hex) == 0);
581 TEST_ASSERT(mbedtls_mpi_safe_cond_swap(&X, &Y, 0) == 0);
582 TEST_ASSERT(sign_is_valid(&X));
583 TEST_ASSERT(sign_is_valid(&Y));
584 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &X0) == 0);
585 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Y, &Y0) == 0);
599 TEST_ASSERT(mbedtls_test_read_mpi(&X, X_hex) == 0);
600 TEST_ASSERT(mbedtls_test_read_mpi(&X0, X_hex) == 0);
603 TEST_ASSERT(sign_is_valid(&X));
604 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &X0) == 0);
617 TEST_ASSERT(mbedtls_mpi_grow(&X, before) == 0);
620 TEST_ASSERT(mbedtls_mpi_set_bit(&X, used_bit_count - 1, 1) == 0);
623 TEST_ASSERT(mbedtls_mpi_shrink(&X, min) == 0);
638 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
639 TEST_ASSERT(mbedtls_test_read_mpi(&Y, input_Y) == 0);
640 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_A) == 0);
641 TEST_ASSERT(mbedtls_mpi_add_mpi(&Z, &X, &Y) == 0);
642 TEST_ASSERT(sign_is_valid(&Z));
643 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Z, &A) == 0);
646 TEST_ASSERT(mbedtls_mpi_add_mpi(&X, &X, &Y) == 0);
647 TEST_ASSERT(sign_is_valid(&X));
648 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
649 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
652 TEST_ASSERT(mbedtls_mpi_add_mpi(&Y, &X, &Y) == 0);
653 TEST_ASSERT(sign_is_valid(&Y));
654 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Y, &A) == 0);
667 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_A) == 0);
669 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
670 TEST_ASSERT(mbedtls_mpi_sub_abs(&X, &X, &X) == 0);
671 TEST_ASSERT(mbedtls_mpi_cmp_int(&X, 0) == 0);
672 TEST_ASSERT(sign_is_valid(&X));
674 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
675 TEST_ASSERT(mbedtls_mpi_add_abs(&X, &X, &X) == 0);
676 TEST_ASSERT(sign_is_valid(&X));
677 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
679 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
680 TEST_ASSERT(mbedtls_mpi_add_mpi(&X, &X, &X) == 0);
681 TEST_ASSERT(sign_is_valid(&X));
682 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
697 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
698 TEST_ASSERT(mbedtls_test_read_mpi(&Y, input_Y) == 0);
699 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_A) == 0);
700 TEST_ASSERT(mbedtls_mpi_add_abs(&Z, &X, &Y) == 0);
701 TEST_ASSERT(sign_is_valid(&Z));
702 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Z, &A) == 0);
705 TEST_ASSERT(mbedtls_mpi_add_abs(&X, &X, &Y) == 0);
706 TEST_ASSERT(sign_is_valid(&X));
707 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
708 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
711 TEST_ASSERT(mbedtls_mpi_add_abs(&Y, &X, &Y) == 0);
712 TEST_ASSERT(sign_is_valid(&Y));
713 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Y, &A) == 0);
727 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
728 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_A) == 0);
729 TEST_ASSERT(mbedtls_mpi_add_int(&Z, &X, input_Y) == 0);
730 TEST_ASSERT(sign_is_valid(&Z));
731 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Z, &A) == 0);
745 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
746 TEST_ASSERT(mbedtls_test_read_mpi(&Y, input_Y) == 0);
747 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_A) == 0);
748 TEST_ASSERT(mbedtls_mpi_sub_mpi(&Z, &X, &Y) == 0);
749 TEST_ASSERT(sign_is_valid(&Z));
750 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Z, &A) == 0);
753 TEST_ASSERT(mbedtls_mpi_sub_mpi(&X, &X, &Y) == 0);
754 TEST_ASSERT(sign_is_valid(&X));
755 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
756 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
759 TEST_ASSERT(mbedtls_mpi_sub_mpi(&Y, &X, &Y) == 0);
760 TEST_ASSERT(sign_is_valid(&Y));
761 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Y, &A) == 0);
776 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
777 TEST_ASSERT(mbedtls_test_read_mpi(&Y, input_Y) == 0);
778 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_A) == 0);
781 TEST_ASSERT(res == sub_result);
782 TEST_ASSERT(sign_is_valid(&Z));
784 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Z, &A) == 0);
788 TEST_ASSERT(mbedtls_mpi_sub_abs(&X, &X, &Y) == sub_result);
789 TEST_ASSERT(sign_is_valid(&X));
791 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
793 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
796 TEST_ASSERT(mbedtls_mpi_sub_abs(&Y, &X, &Y) == sub_result);
797 TEST_ASSERT(sign_is_valid(&Y));
799 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Y, &A) == 0);
814 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
815 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_A) == 0);
816 TEST_ASSERT(mbedtls_mpi_sub_int(&Z, &X, input_Y) == 0);
817 TEST_ASSERT(sign_is_valid(&Z));
818 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Z, &A) == 0);
832 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
833 TEST_ASSERT(mbedtls_test_read_mpi(&Y, input_Y) == 0);
834 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_A) == 0);
835 TEST_ASSERT(mbedtls_mpi_mul_mpi(&Z, &X, &Y) == 0);
836 TEST_ASSERT(sign_is_valid(&Z));
837 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Z, &A) == 0);
851 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
852 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_A) == 0);
853 TEST_ASSERT(mbedtls_mpi_mul_int(&Z, &X, input_Y) == 0);
854 TEST_ASSERT(sign_is_valid(&Z));
856 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Z, &A) == 0);
858 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Z, &A) != 0);
878 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
879 TEST_ASSERT(mbedtls_test_read_mpi(&Y, input_Y) == 0);
880 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_A) == 0);
881 TEST_ASSERT(mbedtls_test_read_mpi(&B, input_B) == 0);
883 TEST_ASSERT(res == div_result);
885 TEST_ASSERT(sign_is_valid(&Q));
886 TEST_ASSERT(sign_is_valid(&R));
887 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Q, &A) == 0);
888 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&R, &B) == 0);
907 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
908 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_A) == 0);
909 TEST_ASSERT(mbedtls_test_read_mpi(&B, input_B) == 0);
911 TEST_ASSERT(res == div_result);
913 TEST_ASSERT(sign_is_valid(&Q));
914 TEST_ASSERT(sign_is_valid(&R));
915 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Q, &A) == 0);
916 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&R, &B) == 0);
933 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
934 TEST_ASSERT(mbedtls_test_read_mpi(&Y, input_Y) == 0);
935 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_A) == 0);
937 TEST_ASSERT(res == div_result);
939 TEST_ASSERT(sign_is_valid(&X));
940 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
1020 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_A) == 0);
1021 TEST_ASSERT(mbedtls_test_read_mpi(&E, input_E) == 0);
1022 TEST_ASSERT(mbedtls_test_read_mpi(&N, input_N) == 0);
1023 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
1026 TEST_ASSERT(res == exp_result);
1028 TEST_ASSERT(sign_is_valid(&Z));
1029 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Z, &X) == 0);
1034 TEST_ASSERT(res == exp_result);
1036 TEST_ASSERT(sign_is_valid(&Z));
1037 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Z, &X) == 0);
1042 TEST_ASSERT(res == exp_result);
1044 TEST_ASSERT(sign_is_valid(&Z));
1045 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Z, &X) == 0);
1063 TEST_ASSERT(mbedtls_mpi_lset(&A, 1) == 0);
1064 TEST_ASSERT(mbedtls_mpi_shift_l(&A, (A_bytes * 8) - 1) == 0);
1065 TEST_ASSERT(mbedtls_mpi_set_bit(&A, 0, 1) == 0);
1068 TEST_ASSERT(mbedtls_mpi_lset(&E, 1) == 0);
1069 TEST_ASSERT(mbedtls_mpi_shift_l(&E, (E_bytes * 8) - 1) == 0);
1070 TEST_ASSERT(mbedtls_mpi_set_bit(&E, 0, 1) == 0);
1073 TEST_ASSERT(mbedtls_mpi_lset(&N, 1) == 0);
1074 TEST_ASSERT(mbedtls_mpi_shift_l(&N, (N_bytes * 8) - 1) == 0);
1075 TEST_ASSERT(mbedtls_mpi_set_bit(&N, 0, 1) == 0);
1078 TEST_ASSERT(mbedtls_test_read_mpi(&RR, input_RR) == 0);
1081 TEST_ASSERT(mbedtls_mpi_exp_mod(&Z, &A, &E, &N, &RR) == exp_result);
1097 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
1098 TEST_ASSERT(mbedtls_test_read_mpi(&Y, input_Y) == 0);
1099 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_A) == 0);
1101 TEST_ASSERT(res == div_result);
1103 TEST_ASSERT(sign_is_valid(&Z));
1104 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Z, &A) == 0);
1119 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
1121 TEST_ASSERT(res == div_result);
1141 TEST_ASSERT(mbedtls_mpi_read_binary(&X, input_X->x, input_X->len) == 0);
1145 TEST_ASSERT(res == 0);
1154 TEST_ASSERT(res == MBEDTLS_ERR_MPI_NOT_ACCEPTABLE);
1171 TEST_ASSERT(my_ret == ref_ret);
1176 TEST_ASSERT(actual_bits >= (size_t) bits);
1177 TEST_ASSERT(actual_bits <= (size_t) bits + 1);
1178 TEST_ASSERT(sign_is_valid(&X));
1180 TEST_ASSERT(mbedtls_mpi_is_prime_ext(&X, 40,
1185 TEST_ASSERT(mbedtls_mpi_shift_r(&X, 1) == 0);
1186 TEST_ASSERT(mbedtls_mpi_is_prime_ext(&X, 40,
1204 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
1205 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_A) == 0);
1206 TEST_ASSERT(mbedtls_mpi_shift_l(&X, shift_X) == 0);
1207 TEST_ASSERT(sign_is_valid(&X));
1208 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
1222 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
1223 TEST_ASSERT(mbedtls_test_read_mpi(&A, input_A) == 0);
1224 TEST_ASSERT(mbedtls_mpi_shift_r(&X, shift_X) == 0);
1225 TEST_ASSERT(sign_is_valid(&X));
1226 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
1244 TEST_ASSERT(mbedtls_mpi_lset(&X, before > 0 ? 1 : -1) == 0);
1248 TEST_ASSERT(mbedtls_mpi_shift_l(&X, before - 1) == 0);
1253 TEST_ASSERT(ret == expected_ret);
1264 TEST_ASSERT(mbedtls_mpi_size(&X) + leading_zeros ==
1266 TEST_ASSERT((int) bytes_left == rng_bytes - wanted_bytes);
1267 TEST_ASSERT(sign_is_valid(&X));
1421 TEST_ASSERT(mbedtls_mpi_self_test(1) == 0);