Active Test Cases

Global test_commit_reseals_external_write (void)

Global test_concurrent_access_is_serialised (void)

Global test_detects_corruption (void)

Global test_double_fault_unrecoverable (void)

Global test_fault_handler_events (void)

Global test_fault_reaction (void)

Global test_init_and_verify (void)

Global test_lock_from_isr_asserts (void)

Global test_lock_timeout_is_bounded_and_reported (void)

Global test_null_args (void)

Global test_read_roundtrip (void)

Global test_reduced_api_surface (void)

Global test_section_scope (void)

Global test_selftest (void)

Global test_stats_count_events (void)

Global test_update_abort_keeps_integrity (void)

Global test_update_clamps_positive_mutator_return (void)

Global test_update_commits (void)

Global test_verify_repair_fixes_in_place (void)

Global test_write_observes_overwritten_corruption (void)