diff options
author | wuestholz <unknown> | 2014-10-14 23:08:03 +0200 |
---|---|---|
committer | wuestholz <unknown> | 2014-10-14 23:08:03 +0200 |
commit | 6b5897a9289102e16a3e24069d1c76278a2e3986 (patch) | |
tree | 50c3a770369bfa2b9dd7ee40e2e86446339d33d8 /Source/ExecutionEngine/ExecutionEngine.cs | |
parent | 40c7b73bda334bdfe89e50a0f72d2e3a49e009b4 (diff) |
Made it produce more trace output for the verification result caching.
Diffstat (limited to 'Source/ExecutionEngine/ExecutionEngine.cs')
-rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs index 10c5e01a..e00b9b7a 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -1017,7 +1017,7 @@ namespace Microsoft.Boogie programCache.Set(programId, program, policy);
}
- if (1 <= CommandLineOptions.Clo.VerifySnapshots && CommandLineOptions.Clo.TraceCaching)
+ if (0 <= CommandLineOptions.Clo.VerifySnapshots && CommandLineOptions.Clo.TraceCaching)
{
Console.Out.WriteLine("");
Console.Out.WriteLine("<trace caching>");
|