Robust/src/Runtime/oooJava/rcr_runtime.c

   1 #include "rcr_runtime.h"
   2
   3 void workerTR(void *x) {
   4   struct trQueue * queue=(struct trQueue *)x;
   5   while(true) {
   6
   7   }
   8 }