Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker

diff --git a/mymemory.cc b/mymemory.cc
index 88018e269093c531a67bde16d27de8a95d6d6305..2c5adc0a84324e045d66e33332472bd8f7fd56e2 100644 (file)
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -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) {