#include "asw_next.c"
#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)
{
  invoked_hal_led_seton = 0;
  asw_next();
  if (1 == invoked_hal_led_seton) { passed++; } else { failed++; }
}

void tp_02(void)
{
  input_in_index = 0;
  asw_next();
  if (1 == input_in_index) { passed++; } else { failed++; }
}

void tp_main(void)
{
  tp_01();
  tp_02();
}

/* eof */