#include "wwdg_hw.h"


void wwdg_mock_setup(WWDG_TypeDef *wwdg)
{

}

void wwdg_mock_reset(void){};

void wwdg_mock_clock_tick(void){};

void wwdg_mock_tick_n_times(size_t n){};