Test IDs

Global test_commit_reseals_external_write (void)

TC_SAFE_DATA_COMMIT_RESEALS_EXTERNAL_WRITE

Global test_concurrent_access_is_serialised (void)

TC_SAFE_DATA_CONCURRENT_ACCESS_IS_SERIALISED

Global test_detects_corruption (void)

TC_SAFE_DATA_DETECTS_CORRUPTION

Global test_double_fault_unrecoverable (void)

TC_SAFE_DATA_DOUBLE_FAULT_UNRECOVERABLE

Global test_fault_handler_events (void)

TC_SAFE_DATA_FAULT_HANDLER_EVENTS

Global test_fault_reaction (void)

TC_SAFE_DATA_FAULT_REACTION

Global test_init_and_verify (void)

TC_SAFE_DATA_INIT_AND_VERIFY

Global test_lock_from_isr_asserts (void)

TC_SAFE_DATA_LOCK_FROM_ISR_ASSERTS

Global test_lock_timeout_is_bounded_and_reported (void)

TC_SAFE_DATA_LOCK_TIMEOUT_IS_BOUNDED_AND_REPORTED

Global test_null_args (void)

TC_SAFE_DATA_NULL_ARGS

Global test_read_roundtrip (void)

TC_SAFE_DATA_READ_ROUNDTRIP

Global test_reduced_api_surface (void)

TC_SAFE_DATA_REDUCED_API_SURFACE

Global test_section_scope (void)

TC_SAFE_DATA_SECTION_SCOPE

Global test_selftest (void)

TC_SAFE_DATA_SELFTEST

Global test_stale_tag_recovers (void)

TC_SAFE_DATA_STALE_TAG_RECOVERS

Global test_stats_count_events (void)

TC_SAFE_DATA_STATS_COUNT_EVENTS

Global test_update_abort_keeps_integrity (void)

TC_SAFE_DATA_UPDATE_ABORT_KEEPS_INTEGRITY

Global test_update_clamps_positive_mutator_return (void)

TC_SAFE_DATA_UPDATE_CLAMPS_POSITIVE_MUTATOR_RETURN

Global test_update_commits (void)

TC_SAFE_DATA_UPDATE_COMMITS

Global test_verify_repair_fixes_in_place (void)

TC_SAFE_DATA_VERIFY_REPAIR_FIXES_IN_PLACE

Global test_write_observes_overwritten_corruption (void)

TC_SAFE_DATA_WRITE_OBSERVES_OVERWRITTEN_CORRUPTION

Global test_write_reseals (void)

TC_SAFE_DATA_WRITE_RESEALS