void logTest(int token, int numTests, int *toTests); void logFalhaDescoberta(int falho); void logRepairDescoberto(int recup); void logNovidade(int informante, int changedNode, int currState); void logLastEvent(int *failed, int *repaired, int n, double lastTime); void printNodes(int *array, int n); void logIfCompleteDiagnosis(int n, int rodadaAcabou); void sendBroadcastMsg(int src, int dst); void logBroadcast(int src);