//
// Created by Antoine Bartuccio on 22/05/2018.
#include "Objects.h"
void *malloc_or_die(size_t size){
void *ptr = malloc(size);
if (ptr == NULL){
CRASH("Error allocating object");
}
return ptr;
void agent_exit(int error_code){
printf("Agent receiving code %d, exiting\n", error_code);
pthread_exit(NULL);