From 95bdc313ce06c30f10faee0142329d0e3fb4c5eb Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 25 Mar 2008 01:08:41 +0000
Subject: [PATCH] *** empty log message ***

---
 Robust/src/Main/Main.java | 3 +++
 1 file changed, 3 insertions(+)

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");
-- 
2.34.1