diff options
author | Pantazis Deligiannis <pdeligia@me.com> | 2013-10-01 16:04:11 +0100 |
---|---|---|
committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-10-01 16:04:11 +0100 |
commit | 591065d4e4388342448351a2a6ae3bdf4fbcd296 (patch) | |
tree | bbff7f25f19655f3333635a3831d5790dbf1a9bb /Source/Core/CommandLineOptions.cs | |
parent | 44095046bd0fd0bc1169ca7a6a19f93b5ac38e9a (diff) |
support for disabling loop entry invariant assertion checking
Diffstat (limited to 'Source/Core/CommandLineOptions.cs')
-rw-r--r-- | Source/Core/CommandLineOptions.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index dd512c96..968333b2 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -650,6 +650,7 @@ namespace Microsoft.Boogie { {
public List<string> ProverOptions = new List<string>();
public int ProverCCLimit = 5;
+ public bool DisableLoopInvEntryAssert = false;
public bool DisableLoopInvMaintainedAssert = false;
public bool ModifyTopologicalSorting = false;
}
|