@@ -86,32 +86,35 @@ int32_t psa_key_agreement_test(security_t caller)
86
86
/* Abort a generator */
87
87
status = val -> crypto_function (VAL_CRYPTO_GENERATOR_ABORT , & generator );
88
88
TEST_ASSERT_EQUAL (status , PSA_SUCCESS , TEST_CHECKPOINT_NUM (7 ));
89
+ /* Destroy a key and restore the slot to its default state */
90
+ status = val -> crypto_function (VAL_CRYPTO_DESTROY_KEY , check1 [i ].key_handle );
91
+ TEST_ASSERT_EQUAL (status , PSA_SUCCESS , TEST_CHECKPOINT_NUM (8 ));
89
92
continue ;
90
93
}
91
94
92
95
/* Retrieve the current capacity of a generator */
93
96
status = val -> crypto_function (VAL_CRYPTO_GET_GENERATOR_CAPACITY , & generator , & capacity );
94
- TEST_ASSERT_EQUAL (status , PSA_SUCCESS , TEST_CHECKPOINT_NUM (8 ));
97
+ TEST_ASSERT_EQUAL (status , PSA_SUCCESS , TEST_CHECKPOINT_NUM (9 ));
95
98
96
99
/* Check if the generator capacity matches with the expected capacity */
97
- TEST_ASSERT_EQUAL (capacity , check1 [i ].expected_capacity , TEST_CHECKPOINT_NUM (9 ));
100
+ TEST_ASSERT_EQUAL (capacity , check1 [i ].expected_capacity , TEST_CHECKPOINT_NUM (10 ));
98
101
99
102
/* Read some data from a generator */
100
103
status = val -> crypto_function (VAL_CRYPTO_GENERATOR_READ , & generator , output ,
101
104
check1 [i ].expected_output_length );
102
- TEST_ASSERT_EQUAL (status , PSA_SUCCESS , TEST_CHECKPOINT_NUM (10 ));
105
+ TEST_ASSERT_EQUAL (status , PSA_SUCCESS , TEST_CHECKPOINT_NUM (11 ));
103
106
104
107
/* Check if the output matches with the expected data */
105
108
TEST_ASSERT_MEMCMP (output , check1 [i ].expected_output , check1 [i ].expected_output_length ,
106
- TEST_CHECKPOINT_NUM (11 ));
109
+ TEST_CHECKPOINT_NUM (12 ));
107
110
108
111
/* Abort a generator */
109
112
status = val -> crypto_function (VAL_CRYPTO_GENERATOR_ABORT , & generator );
110
- TEST_ASSERT_EQUAL (status , PSA_SUCCESS , TEST_CHECKPOINT_NUM (12 ));
111
-
113
+ TEST_ASSERT_EQUAL (status , PSA_SUCCESS , TEST_CHECKPOINT_NUM (13 ));
114
+
112
115
/* Destroy a key and restore the slot to its default state */
113
116
status = val -> crypto_function (VAL_CRYPTO_DESTROY_KEY , check1 [i ].key_handle );
114
- TEST_ASSERT_EQUAL (status , PSA_SUCCESS , TEST_CHECKPOINT_NUM (13 ));
117
+ TEST_ASSERT_EQUAL (status , PSA_SUCCESS , TEST_CHECKPOINT_NUM (14 ));
115
118
}
116
119
117
120
return VAL_STATUS_SUCCESS ;
0 commit comments