*** empty log message ***

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index d9130458097fdd2e0635e625719edffed302b024..b06f3154498f2eab83d6933bcac46aea91f78560 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -65,6 +65,8 @@ public class Main {
              ClassLibraryPrefix=args[++i]+"/";
          else if (option.equals("-mainclass"))
              state.main=args[++i];
+         else if (option.equals("-trueprob"))
+             state.TRUEPROB=Double.parseDouble(args[++i]);
          else if (option.equals("-printflat"))
              State.PRINTFLAT=true;
          else if (option.equals("-struct"))
@@ -114,6 +116,7 @@ public class Main {
              System.out.println("-conscheck -- turn on consistency checking");
              System.out.println("-task -- compiler for tasks");
              System.out.println("-thread -- threads");
+             System.out.println("-trueprob <d> -- probability of true branch");
              System.out.println("-printflat -- print out flat representation");
              System.out.println("-instructionfailures -- insert code for instruction level failures");
              System.out.println("-taskstate -- do task state analysis");