diff options
| author |  wuestholz <unknown> | 2014-10-14 12:50:10 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-10-14 12:50:10 +0200 |
| commit | 40c7b73bda334bdfe89e50a0f72d2e3a49e009b4 (patch) | |
| tree | c2d334b09a882ba5d30f180bbc0adec5efd046c4 /Source | |
| parent | a6bd13af85d15dddd0d1da73ee2a7384286216ad (diff) | |
Minor change
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Core/CommandLineOptions.cs | 2 | ||||
| -rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index 60e0bdc0..c49b3b3c 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -364,7 +364,7 @@ namespace Microsoft.Boogie { Contract.Invariant(0 <= PrintUnstructured && PrintUnstructured < 3); // 0 = print only structured, 1 = both structured and unstructured, 2 = only unstructured
}
- public int VerifySnapshots = 0;
+ public int VerifySnapshots = -1;
public bool VerifySeparately = false;
public string PrintFile = null;
public int PrintUnstructured = 0;
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs index 86c7502c..10c5e01a 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -459,7 +459,7 @@ namespace Microsoft.Boogie return;
}
- if (0 < CommandLineOptions.Clo.VerifySnapshots && lookForSnapshots)
+ if (0 <= CommandLineOptions.Clo.VerifySnapshots && lookForSnapshots)
{
var snapshotsByVersion = LookForSnapshots(fileNames);
foreach (var s in snapshotsByVersion)
|