add codes for generating multi-core version binary. Also add options -multicore ...

[IRC.git] / Robust / src / IR / State.java

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index 0e66fe016930577e2f3e19635495b905acacee76..25c7f42dee4ee04602a29e082089e4be1cef29dd 100644 (file)
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -52,8 +52,10 @@ public class State {
     public boolean FLATIRGRAPHTASKS=false;
     public boolean FLATIRGRAPHUSERMETHODS=false;
     public boolean FLATIRGRAPHLIBMETHODS=false;
+    public boolean MULTICORE=false;
     public boolean OWNERSHIP=false;
     public boolean OPTIONAL=false;
+    //public boolean RAW=false;
     public boolean SCHEDULING=false;  
     public boolean THREAD=false;
     public boolean CONSCHECK=false;