#include "test_env.h"

int invoked_hal_led_seton = 0;
int input_in_index = 0;
int hal_led_seton(const int in_index)
{
  input_in_index = in_index;
  invoked_hal_led_seton++;
  return 0;
}

void tp_01(void)
{
  TP_XX_STARTED();
  printf("    executing asw_next - nominal\n");
  asw_next();
  if (1 == invoked_hal_led_seton) { passed++; } else { failed++; }
  TP_XX_FINISHED();
}

void tp_main(void)
{
  tp_01();
}

/* eof */