int timer_testSetup(void)
{
IRQ_ENABLE;
- wdt_init(7);
+ wdt_start(7);
timer_init();
kdbg_init();
return 0;
return 0;
}
-#if UNIT_TEST
- #include <drv/timer.c>
- #include <drv/kdebug.c>
- #include <mware/event.c>
- #include <mware/formatwr.c>
- #include <mware/hex.c>
- #include <os/hptime.c>
-
- TEST_MAIN(timer);
-#endif
+TEST_MAIN(timer);