Made invariant of class 'CommandLineOptions' robust by changing the design

(transformed class AiFlags into a struct).

1 files changed, 1 insertions, 2 deletions

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 503a4d0a..a4ef964c 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -703,10 +703,9 @@ namespace Microsoft.Boogie {
     [ContractInvariantMethod]

     void ObjectInvariant5() {

       Contract.Invariant(cce.NonNullElements(ProcsToCheck, true));

-      Contract.Invariant(Ai != null);

     }

 

-    public class AiFlags {

+    public struct AiFlags {

       public bool J_Trivial = false;

       public bool J_Intervals = false;

       public bool DebugStatistics = false;