X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FMain%2FMain.java;h=748c0027fa06bdfcf33a21ecfae53e671574d0e8;hb=e33201f8be840c89d9e1994a2e742bf01ca8ff0c;hp=1487ff8affddeb02954e83703c5368c6798543f3;hpb=5f5b1508b74d989403b3708dd4d51aed991e0006;p=IRC.git

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 1487ff8a..748c0027 100644
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -92,6 +92,9 @@ public class Main {
       } else if(option.equals("-numcore")) {
 	++i;
 	state.CORENUM = Integer.parseInt(args[i]);
+      } else if(option.equals("-numcore4gc")) {
+        ++i;
+        state.CORENUM4GC = Integer.parseInt(args[i]);
       } else if (option.equals("-mainclass"))
 	state.main=args[++i];
       else if (option.equals("-trueprob")) {
@@ -122,6 +125,8 @@ public class Main {
 	state.TAGSTATE=true;
       else if (option.equals("-stmarray"))
 	state.STMARRAY=true;
+      else if (option.equals("-eventmonitor"))
+	state.EVENTMONITOR=true;
       else if (option.equals("-dualview"))
 	state.DUALVIEW=true;
       else if (option.equals("-hybrid"))
@@ -217,6 +222,8 @@ public class Main {
 	state.THREAD=true;
       else if (option.equals("-dsm"))
 	state.DSM=true;
+      else if (option.equals("-recoverystats"))
+  state.DSMRECOVERYSTATS=true;
       else if (option.equals("-dsmtask"))
   state.DSMTASK=true;
       else if (option.equals("-singleTM"))
@@ -290,7 +297,7 @@ public class Main {
 	sourcefiles.add(args[i]);
       }
     }
-
+    
     //add default classpath
     if (state.classpath.size()==1)
       state.classpath.add(ClassLibraryPrefix);
@@ -495,6 +502,7 @@ public class Main {
 			                                      sa,
 			                                      scheduling,
 			                                      mcImplSynthesis.getCoreNum(),
+                                                  state.CORENUM4GC,
 			                                      pa);
 		bcm.setOwnershipAnalysis(oa);
 		bcm.buildCode();