}
void printRace(struct DataRace * race) {
printf("Datarace detected\n");
printf("Location %p\n", race->address);
printf("Initial access: thread %u clock %u, iswrite %u\n",race->oldthread,race->oldclock, race->isoldwrite);
}
void printRace(struct DataRace * race) {
printf("Datarace detected\n");
printf("Location %p\n", race->address);
printf("Initial access: thread %u clock %u, iswrite %u\n",race->oldthread,race->oldclock, race->isoldwrite);