diff options
author | wuestholz <unknown> | 2014-10-13 16:04:14 +0200 |
---|---|---|
committer | wuestholz <unknown> | 2014-10-13 16:04:14 +0200 |
commit | ee75fd2e508d3da48923888833f63ae96ad9b408 (patch) | |
tree | d5798356054c9a685ece03d8c87fb8f89f558fff /Source/ExecutionEngine/VerificationResultCache.cs | |
parent | f9cfc76c9942b8ef9809c9a7dbb1aa3cb95b2029 (diff) |
Add '/traceCaching' flag.
Diffstat (limited to 'Source/ExecutionEngine/VerificationResultCache.cs')
-rw-r--r-- | Source/ExecutionEngine/VerificationResultCache.cs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Source/ExecutionEngine/VerificationResultCache.cs b/Source/ExecutionEngine/VerificationResultCache.cs index 67d6dde5..215731b0 100644 --- a/Source/ExecutionEngine/VerificationResultCache.cs +++ b/Source/ExecutionEngine/VerificationResultCache.cs @@ -37,7 +37,6 @@ namespace Microsoft.Boogie public string Output(bool printTime = false)
{
var wr = new StringWriter();
- wr.WriteLine("");
wr.WriteLine("Cached verification result injector statistics as CSV:");
if (printTime)
{
@@ -47,11 +46,11 @@ namespace Microsoft.Boogie {
wr.WriteLine("Request ID, Rewritten Implementations, Low Priority Implementations, Medium Priority Implementations, High Priority Implementations, Skipped Implementations, Implementations");
}
- foreach (var kv in runs)
+ foreach (var kv in runs.OrderBy(kv => kv.Key))
{
if (printTime)
{
- wr.WriteLine("{0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}", kv.Key, kv.Value.End.Subtract(kv.Value.Start).TotalMilliseconds, kv.Value.RewrittenImplementationCount, kv.Value.LowPriorityImplementationCount, kv.Value.MediumPriorityImplementationCount, kv.Value.HighPriorityImplementationCount, kv.Value.SkippedImplementationCount, kv.Value.ImplementationCount);
+ wr.WriteLine("{0}, {1:F0}, {2}, {3}, {4}, {5}, {6}, {7}", kv.Key, kv.Value.End.Subtract(kv.Value.Start).TotalMilliseconds, kv.Value.RewrittenImplementationCount, kv.Value.LowPriorityImplementationCount, kv.Value.MediumPriorityImplementationCount, kv.Value.HighPriorityImplementationCount, kv.Value.SkippedImplementationCount, kv.Value.ImplementationCount);
}
else
{
|