mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-04-18 14:42:24 +00:00
Add metatests for failing TEST_EQUAL and TEST_LE_*
After getting caught with deadlock issues when these tests fail, add a metatest to test them failing. Signed-off-by: Paul Elliott <paul.elliott@arm.com>
This commit is contained in:
parent
1c0b1bffee
commit
60bbfe63a1
@ -71,6 +71,41 @@ void meta_test_fail(const char *name)
|
|||||||
mbedtls_test_fail("Forced test failure", __LINE__, __FILE__);
|
mbedtls_test_fail("Forced test failure", __LINE__, __FILE__);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
void meta_test_not_equal(const char *name)
|
||||||
|
{
|
||||||
|
int left = 20;
|
||||||
|
int right = 10;
|
||||||
|
|
||||||
|
(void) name;
|
||||||
|
|
||||||
|
TEST_EQUAL(left, right);
|
||||||
|
exit:
|
||||||
|
;
|
||||||
|
}
|
||||||
|
|
||||||
|
void meta_test_not_le_s(const char *name)
|
||||||
|
{
|
||||||
|
int left = 20;
|
||||||
|
int right = 10;
|
||||||
|
|
||||||
|
(void) name;
|
||||||
|
|
||||||
|
TEST_LE_S(left, right);
|
||||||
|
exit:
|
||||||
|
;
|
||||||
|
}
|
||||||
|
|
||||||
|
void meta_test_not_le_u(const char *name)
|
||||||
|
{
|
||||||
|
size_t left = 20;
|
||||||
|
size_t right = 10;
|
||||||
|
|
||||||
|
(void) name;
|
||||||
|
|
||||||
|
TEST_LE_U(left, right);
|
||||||
|
exit:
|
||||||
|
;
|
||||||
|
}
|
||||||
|
|
||||||
/****************************************************************/
|
/****************************************************************/
|
||||||
/* Platform features */
|
/* Platform features */
|
||||||
@ -286,6 +321,9 @@ typedef struct {
|
|||||||
*/
|
*/
|
||||||
metatest_t metatests[] = {
|
metatest_t metatests[] = {
|
||||||
{ "test_fail", "any", meta_test_fail },
|
{ "test_fail", "any", meta_test_fail },
|
||||||
|
{ "test_not_equal", "any", meta_test_not_equal },
|
||||||
|
{ "test_not_le_s", "any", meta_test_not_le_s },
|
||||||
|
{ "test_not_le_u", "any", meta_test_not_le_u },
|
||||||
{ "null_dereference", "any", null_pointer_dereference },
|
{ "null_dereference", "any", null_pointer_dereference },
|
||||||
{ "null_call", "any", null_pointer_call },
|
{ "null_call", "any", null_pointer_call },
|
||||||
{ "read_after_free", "asan", read_after_free },
|
{ "read_after_free", "asan", read_after_free },
|
||||||
|
Loading…
x
Reference in New Issue
Block a user