diff options
| author |  0biha <unknown> | 2014-12-24 20:29:21 +0100 |
|---|---|---|
| committer | 0biha <unknown> | 2014-12-24 20:29:21 +0100 |
| commit | 9a755fa5cd1a93d3b0dbda8d3d58ec1869abbcd3 (patch) | |
| tree | 849a2792edf33657540cfb46c8503cbad9169f0b /Source/Core/CommandLineOptions.cs | |
| parent | 7c7da2b1ca4ab3bce55b57b9c774d5ba362bef70 (diff) | |
Backed out changeset: 4103d2e9c2ef
Diffstat (limited to 'Source/Core/CommandLineOptions.cs')
| -rw-r--r-- | Source/Core/CommandLineOptions.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index a4ef964c..503a4d0a 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -703,9 +703,10 @@ namespace Microsoft.Boogie { [ContractInvariantMethod]
void ObjectInvariant5() {
Contract.Invariant(cce.NonNullElements(ProcsToCheck, true));
+ Contract.Invariant(Ai != null);
}
- public struct AiFlags {
+ public class AiFlags {
public bool J_Trivial = false;
public bool J_Intervals = false;
public bool DebugStatistics = false;
|