add new option -singleTM for committing transactions on a single machine

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

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index 9a911461379516eeae06138aeae2b87061bd1d6b..083cfada72ab8ad2c449d5b823ccbb8cc3229769 100644 (file)
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -79,6 +79,7 @@ public class State {
   public static boolean PRINTSCHEDULESIM=false;
   public static boolean PRINTCRITICALPATH=false;
   public static boolean ABORTREADERS=false;
+  public static boolean SINGLETM=false;
   public int CORENUM = 1;
   public String structfile;
   public String main;