#include "test_env.h"

void env_print(char *txt)
{
  printf(txt);
}

int main()
{
  printf("TEST PROCEDURE STARTED\n");
  tp_main();
  printf("TEST PROCEDURE FINISHED\n");

  printf("\n");
  printf("SUMMARY\n");
  printf("----------\n");
  printf("PASSED: %2d\n", passed);
  printf("FAILED: %2d\n", failed);

  if (failed)
  {
    printf("----------\n");
    printf("TP: FAILED\n");
    printf("----------\n");
  }
  else
  {
    printf("----------\n");
    printf("TP: PASSED\n");
    printf("----------\n");
  }
  return 0;
}

/* eof */