diff options
Diffstat (limited to 'Source/ExecutionEngine/VerificationResultCache.cs')
| -rw-r--r-- | Source/ExecutionEngine/VerificationResultCache.cs | 1 |
1 files changed, 1 insertions, 0 deletions
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)
{
|