File content as of revision 2:ea883307d02f:

#define __DEBUG__ 4 //Maximum verbosity
#ifndef __MODULE__
#define __MODULE__ "net_3g_basic_http_test.cpp"
#endif

#include "LogHeader.h"

#include "mbed.h"
#include "socket/bsd_socket.h"
#include "rtos.h"
#include "VodafoneUSBModem.h"
#include "VodafoneTestCase.h"
#include "ExampleTest.h"
#include "TestManager.h"

DigitalOut led1(LED1);
DigitalOut led2(LED2);
DigitalOut led3(LED3);
DigitalOut led4(LED4);

extern "C" void HardFault_Handler() { error("Hard Fault!\n"); }

void test(void const*) {
  VodafoneUSBModem modem;
  LOG("Constructing TestManager");
  TestManager *m = new TestManager(&modem);
  int numPassed = m->runAll();
  LOG("Tests complete: %d passes and %d failures.",numPassed,m->getNumTests()-numPassed);
  
  while(1) {
     Thread::wait(1000);
  }
}

int main() {

  DBG_INIT();
  DBG_SET_SPEED(115200);
  DBG_SET_NEWLINE("\r\n");

  Thread testTask(test, NULL, osPriorityNormal, 1024 * 5);
  // this thread just waits and blinks leds periodically
  while(1) {
     led1 = !led1;
     Thread::wait(500);
     led1 = !led1;
     Thread::wait(30000);
  }
  return 0;
}