/* Wait for Watchdog module to reset. 
Wait for CONF_WDT_RESET_WAIT_MS for Watchdog to reset the device */
static void wait_for_wdt_reset(const struct test_case *test)
/* Wait for Watchdog module to reset. 
Wait for CONF_WDT_RESET_WAIT_MS for Watchdog to reset the device */
static void wait_for_wdt_reset(const struct test_case *test)
{
	if (wdr_flag == false) {
		delay_ms(CONF_WDT_RESET_WAIT_MS);
	}
}