#include "test_env.h"


int ret_hal_led_seton = 0;
int hal_led_seton(const int in_index)
{
  if (in_index == 0) return ret_hal_led_seton;
  return ret_hal_led_seton;
}

int ret_hal_led_setoff = 0;
int hal_led_setoff(const int in_index)
{
  if (in_index == 0) return ret_hal_led_setoff;
  return ret_hal_led_setoff;
}

hal_button_state_e ret_out_state = HAL_BUTTON_STATE_ON;
void hal_button_read(const int in_index, hal_button_state_e *const out_state)
{
  switch (in_index)
  {

    default:
      break;
  }

  *out_state = ret_out_state;
  return;
}

void asw_next(void)
{
}


void tp_01(void)
{
  TP_XX_STARTED();
  printf("    executing asw_main - nominal\n");
  asw_main();
  TP_XX_FINISHED();
}

void tp_02(void)
{
  TP_XX_STARTED();
  ret_out_state = HAL_BUTTON_STATE_OFF;
  printf("    executing asw_main - second\n");
  asw_main();
  TP_XX_FINISHED();
}

void tp_03(void)
{
  TP_XX_STARTED();
  ret_out_state = (hal_button_state_e)3;
  printf("    executing asw_main - third\n");
  asw_main();
  TP_XX_FINISHED();
}

void tp_main(void)
{
  tp_01();
  tp_02();
  tp_03();
  failed++;
}

/* eof */