From dbc46f4ad9bb162042aa5772d766eda6e0ed2439 Mon Sep 17 00:00:00 2001
From: stobies <unknown>
Date: Fri, 1 Apr 2011 10:40:38 +0000
Subject: boogie.exe: allow to reset the command line options so we can re-use
 the boogie objects, e.g., from VCC test runs

---
 Source/Core/CommandLineOptions.cs | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

(limited to 'Source/Core')

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 4bc845dd..5094fb9e 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -72,8 +72,12 @@ namespace Microsoft.Boogie {
       }
     }
 
-    public static readonly CommandLineOptions/*!*/ Clo = new CommandLineOptions();  // singleton to access all global data
-
+    private static CommandLineOptions clo = new CommandLineOptions(); 
+    public static CommandLineOptions/*!*/ Clo
+    {
+      get { return clo; }
+    }
+    
     public string/*!*/ Environment = "";
     public string/*!*/ FileName = "unknown";
 
@@ -441,10 +445,16 @@ namespace Microsoft.Boogie {
     public HoudiniFlags/*!*/ houdiniFlags = new HoudiniFlags();
 
     [Verify(false)]
-    public CommandLineOptions() {
+    private CommandLineOptions() {
       // this is just to suppress verification. 
     }
 
+    [Verify(false)]
+    public static void ResetClo()
+    {
+      clo = new CommandLineOptions();
+    }
+
 
     /// <summary>
     /// Parses the command-line arguments "args" into the global flag variables.  The possible result
-- 
cgit v1.2.3