From: bdemsky <bdemsky>
Date: Tue, 25 Mar 2008 01:08:41 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Tag: preEdgeChange~210
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=95bdc313ce06c30f10faee0142329d0e3fb4c5eb;p=IRC.git

*** empty log message ***
---

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index d9130458..b06f3154 100644
--- 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");