subramanian lied when he said he fixed these...
[model-checker.git] / mymemory.cc
index 88018e2..2c5adc0 100644 (file)
@@ -13,6 +13,9 @@ int howManyFreed = 0;
 static mspace sStaticSpace = NULL;
 #endif
 
+//SUBRAMANIAN!!! PLEASE FIX THE MALLOC/FREE/CALLOC/ETC FOR FORK-BASED APPROACH
+//YOU HAVE NOT DONE THIS!!!!!!!!!!!
+
 /** Non-snapshotting malloc for our use. */
 
 void *MYMALLOC(size_t size) {