diff options
| author |  wuestholz <unknown> | 2014-07-14 11:43:49 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-07-14 11:43:49 +0200 |
| commit | bc71ef9470cb275b1fc6ba165fe25401e8730405 (patch) | |
| tree | 316cc169c10f265805ce279014833487a549f8be /Source/ExecutionEngine/VerificationResultCache.cs | |
| parent | f5ea3b3d29b4fee997a2a0e20f81bcbee4d27e01 (diff) | |
Fixed a minor issue.
Diffstat (limited to 'Source/ExecutionEngine/VerificationResultCache.cs')
| -rw-r--r-- | Source/ExecutionEngine/VerificationResultCache.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/ExecutionEngine/VerificationResultCache.cs b/Source/ExecutionEngine/VerificationResultCache.cs index 44ca7da8..b5f6d1cd 100644 --- a/Source/ExecutionEngine/VerificationResultCache.cs +++ b/Source/ExecutionEngine/VerificationResultCache.cs @@ -307,7 +307,8 @@ namespace Microsoft.Boogie // TODO(wuestholz): Maybe we should speed up this lookup.
var funcs = newProg.TopLevelDeclarations.OfType<Function>();
- return oldProc.FunctionDependencies != null && oldProc.FunctionDependencies.All(dep => funcs.Any(f => f.Name == dep.Name && f.DependenciesChecksum == dep.DependenciesChecksum));
+ return oldProc.DependenciesCollected
+ && (oldProc.FunctionDependencies == null || oldProc.FunctionDependencies.All(dep => funcs.Any(f => f.Name == dep.Name && f.DependenciesChecksum == dep.DependenciesChecksum)));
}
public override Procedure VisitProcedure(Procedure node)
|