#include "CatchFactory.h"
#include "CatchDefinitions.h"
#ifdef GCOV
#include <gcov.h>
#endif
#include "fsfw/objectmanager/ObjectManager.h"
#include "fsfw/storagemanager/StorageManagerIF.h"
#include "fsfw/serviceinterface/ServiceInterface.h"
/* Global instantiations normally done in main.cpp */
/* Initialize Data Pool */