From f4468fa31f26ca6447d031584c1594ebba917a92 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sat, 18 Oct 2014 12:39:15 +0200
Subject: Added a todo.

---
 Source/ExecutionEngine/ExecutionEngine.cs         | 2 +-
 Source/ExecutionEngine/VerificationResultCache.cs | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

(limited to 'Source/ExecutionEngine')

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index a431904e..0c027f5c 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -1058,7 +1058,7 @@ namespace Microsoft.Boogie
 
         if (printTimes)
         {
-          Console.Out.WriteLine("");
+          Console.Out.WriteLine();
           Console.Out.WriteLine("Total time (ms) since first request: {0:F0}", end.Subtract(FirstRequestStart).TotalMilliseconds);
         }
       }
diff --git a/Source/ExecutionEngine/VerificationResultCache.cs b/Source/ExecutionEngine/VerificationResultCache.cs
index ee9a7f73..e042402f 100644
--- a/Source/ExecutionEngine/VerificationResultCache.cs
+++ b/Source/ExecutionEngine/VerificationResultCache.cs
@@ -200,6 +200,7 @@ namespace Microsoft.Boogie
         var beforePrecondtionCheck = new List<Cmd>();
         var after = new List<Cmd>();
         Expr assumedExpr = new LiteralExpr(Token.NoToken, false);
+        // TODO(wuestholz): Try out two alternatives: only do this for low priority implementations or not at all.
         var canUseSpecs = DependencyCollector.AllFunctionDependenciesAreDefinedAndUnchanged(oldProc, Program);
         if (canUseSpecs)
         {
-- 
cgit v1.2.3