8 const int MS_INTERVALS = 1000;
11 void print_char(char c = '*') {
19 static int toggle_counter = 0;
20 if (toggle_counter == MS_INTERVALS) {
26 timer.attach_us(toggleOff, 500);
29 void toggleOff(void) {
30 timer.attach_us(toggleOn, 500);
34 MBED_HOSTTEST_TIMEOUT(15);
35 MBED_HOSTTEST_SELECT(wait_us_auto);
36 MBED_HOSTTEST_DESCRIPTION(Timeout Int us);
37 MBED_HOSTTEST_START("MBED_24");