diff options
| author |  wuestholz <unknown> | 2014-10-18 12:39:15 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-10-18 12:39:15 +0200 |
| commit | f4468fa31f26ca6447d031584c1594ebba917a92 (patch) | |
| tree | 293a13e4701560cc94692b275e1c755dcc63afd7 /Source/ExecutionEngine | |
| parent | 46fa485c2ad3736f1428e748b53cef917ae2afb8 (diff) | |
Added a todo.
Diffstat (limited to 'Source/ExecutionEngine')
| -rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 2 | ||||
| -rw-r--r-- | Source/ExecutionEngine/VerificationResultCache.cs | 1 |
2 files changed, 2 insertions, 1 deletions
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)
{
|