add pmc option

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index c4016aa9056f7e0089dd65a4d9120497a5bbf0e9..e5799435657ce856fe10bf9a89b13925cc640b05 100644 (file)
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -176,6 +176,7 @@ public class State {
   // Bamboo options
   public boolean MULTICORE=false;
   public boolean MULTICOREGC=false;
+  public boolean PMC=false;
   public boolean BAMBOOCOMPILETIME = false;
   public boolean ARRAYBOUNDARYCHECK=true;
   public boolean RAW=false;

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index d48ad48b9335162894b498f6761eafdaff167eae..026c2cfdaf6b21dca6f7ab5d97f2d2d119d68eb3 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -156,6 +156,8 @@ public class Main {
         state.MULTICORE=true;
       else if (option.equals("-multicoregc"))
         state.MULTICOREGC=true;
+      else if (option.equals("-pmc"))
+        state.PMC=true;
       else if (option.equals("-mgc")) {
         state.MGC = true;
       } else if (option.equals("-objectlockdebug")) {