5 #include "sw/device/lib/testing/test_framework/check.h" 
    7 #include "sw/device/silicon_creator/lib/drivers/alert.h" 
    8 #include "sw/device/silicon_creator/lib/drivers/lifecycle.h" 
    9 #include "sw/device/silicon_creator/lib/drivers/otp.h" 
   11 #include "otp_ctrl_regs.h" 
   13 OTTF_DEFINE_TEST_CONFIG();
 
   23 static void alert_cfg_test(
void) {
 
   24   uint32_t digest = alert_config_crc32() ^ lifecycle_state_get() ^ kErrorOk;
 
   28   CHECK(digest == otp_read32(OTP_ALERT_DIGEST));