diff options
| author |  wuestholz <unknown> | 2014-10-13 16:59:36 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-10-13 16:59:36 +0200 |
| commit | d9c9c48f4d4e827f55cbe904e92f7f9deb2bcb95 (patch) | |
| tree | a07610ffdb263dd8fb59a32bcf04be8c291e141f /Source/ExecutionEngine/ExecutionEngine.cs | |
| parent | ee75fd2e508d3da48923888833f63ae96ad9b408 (diff) | |
Minor change
Diffstat (limited to 'Source/ExecutionEngine/ExecutionEngine.cs')
| -rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs index 44b8719a..dfdab25c 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -999,33 +999,33 @@ namespace Microsoft.Boogie {
program.FreezeTopLevelDeclarations();
programCache.Set(programId, program, policy);
+ }
- if (CommandLineOptions.Clo.TraceCaching)
- {
- Console.Out.WriteLine("");
- Console.Out.WriteLine("<trace caching>");
+ if (1 <= CommandLineOptions.Clo.VerifySnapshots && CommandLineOptions.Clo.TraceCaching)
+ {
+ Console.Out.WriteLine("");
+ Console.Out.WriteLine("<trace caching>");
- var end = DateTime.UtcNow;
- if (TimePerRequest.Count == 0)
- {
- FirstRequestStart = start;
- }
- TimePerRequest[requestId] = end.Subtract(start);
+ var end = DateTime.UtcNow;
+ if (TimePerRequest.Count == 0)
+ {
+ FirstRequestStart = start;
+ }
+ TimePerRequest[requestId] = end.Subtract(start);
- Console.Out.WriteLine(CachedVerificationResultInjector.Statistics.Output(true));
+ Console.Out.WriteLine(CachedVerificationResultInjector.Statistics.Output(true));
- Console.Out.WriteLine("Times per request as CSV:");
- Console.Out.WriteLine("Request ID, Time (ms)");
- foreach (var kv in TimePerRequest.OrderBy(kv => kv.Key))
- {
- Console.Out.WriteLine("{0}, {1:F0}", kv.Key, kv.Value.TotalMilliseconds);
- }
+ Console.Out.WriteLine("Times per request as CSV:");
+ Console.Out.WriteLine("Request ID, Time (ms)");
+ foreach (var kv in TimePerRequest.OrderBy(kv => kv.Key))
+ {
+ Console.Out.WriteLine("{0}, {1:F0}", kv.Key, kv.Value.TotalMilliseconds);
+ }
- Console.Out.WriteLine("");
- Console.Out.WriteLine("Total time (ms) since first request: {0:F0}", end.Subtract(FirstRequestStart).TotalMilliseconds);
+ Console.Out.WriteLine("");
+ Console.Out.WriteLine("Total time (ms) since first request: {0:F0}", end.Subtract(FirstRequestStart).TotalMilliseconds);
- Console.Out.WriteLine("</trace caching>");
- }
+ Console.Out.WriteLine("</trace caching>");
}
#endregion
|