diff options
-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)
|