boogie.exe: allow to reset the command line options so we can re-use the boogie objects, e.g., from VCC test runs

1 files changed, 13 insertions, 3 deletions

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