diff options
| author |  wuestholz <unknown> | 2014-10-13 17:33:52 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-10-13 17:33:52 +0200 |
| commit | 7fc9abfc35b0a677bc1e96264042d2474879858b (patch) | |
| tree | e40187ff93a9555dd4649430c447ecdd591b3cd4 /Source/ExecutionEngine/VerificationResultCache.cs | |
| parent | d9c9c48f4d4e827f55cbe904e92f7f9deb2bcb95 (diff) | |
Minor changes
Diffstat (limited to 'Source/ExecutionEngine/VerificationResultCache.cs')
| -rw-r--r-- | Source/ExecutionEngine/VerificationResultCache.cs | 27 |
1 files changed, 15 insertions, 12 deletions
diff --git a/Source/ExecutionEngine/VerificationResultCache.cs b/Source/ExecutionEngine/VerificationResultCache.cs index 215731b0..f1032485 100644 --- a/Source/ExecutionEngine/VerificationResultCache.cs +++ b/Source/ExecutionEngine/VerificationResultCache.cs @@ -37,24 +37,27 @@ namespace Microsoft.Boogie public string Output(bool printTime = false)
{
var wr = new StringWriter();
- wr.WriteLine("Cached verification result injector statistics as CSV:");
- if (printTime)
- {
- wr.WriteLine("Request ID, Time (ms), Rewritten Implementations, Low Priority Implementations, Medium Priority Implementations, High Priority Implementations, Skipped Implementations, Implementations");
- }
- else
- {
- wr.WriteLine("Request ID, Rewritten Implementations, Low Priority Implementations, Medium Priority Implementations, High Priority Implementations, Skipped Implementations, Implementations");
- }
- foreach (var kv in runs.OrderBy(kv => kv.Key))
+ if (runs.Any())
{
+ wr.WriteLine("Cached verification result injector statistics as CSV:");
if (printTime)
{
- 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);
+ wr.WriteLine("Request ID, Time (ms), Rewritten Implementations, Low Priority Implementations, Medium Priority Implementations, High Priority Implementations, Skipped Implementations, Implementations");
}
else
{
- wr.WriteLine("{0}, {1}, {2}, {3}, {4}, {5}, {6}", kv.Key, kv.Value.RewrittenImplementationCount, kv.Value.LowPriorityImplementationCount, kv.Value.MediumPriorityImplementationCount, kv.Value.HighPriorityImplementationCount, kv.Value.SkippedImplementationCount, kv.Value.ImplementationCount);
+ wr.WriteLine("Request ID, Rewritten Implementations, Low Priority Implementations, Medium Priority Implementations, High Priority Implementations, Skipped Implementations, Implementations");
+ }
+ foreach (var kv in runs.OrderBy(kv => ExecutionEngine.AutoRequestId(kv.Key)))
+ {
+ if (printTime)
+ {
+ 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
+ {
+ wr.WriteLine("{0}, {1}, {2}, {3}, {4}, {5}, {6}", kv.Key, kv.Value.RewrittenImplementationCount, kv.Value.LowPriorityImplementationCount, kv.Value.MediumPriorityImplementationCount, kv.Value.HighPriorityImplementationCount, kv.Value.SkippedImplementationCount, kv.Value.ImplementationCount);
+ }
}
}
return wr.ToString();
|