diff options
| author |  wuestholz <unknown> | 2014-10-15 10:47:42 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-10-15 10:47:42 +0200 |
| commit | 3c2c0f9b5705e57ee888ea03981f42409f8ea3fe (patch) | |
| tree | eb7a5099d7e41dba76b44c385e1efb77a97a0a9d /Source/ExecutionEngine | |
| parent | cbe53ffe2104fabf7ccada44257cbbf6de08019b (diff) | |
Fix issue in computation of checksums for calls.
Diffstat (limited to 'Source/ExecutionEngine')
| -rw-r--r-- | Source/ExecutionEngine/VerificationResultCache.cs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/Source/ExecutionEngine/VerificationResultCache.cs b/Source/ExecutionEngine/VerificationResultCache.cs index 1de1a0ce..3d145c53 100644 --- a/Source/ExecutionEngine/VerificationResultCache.cs +++ b/Source/ExecutionEngine/VerificationResultCache.cs @@ -253,10 +253,7 @@ namespace Microsoft.Boogie var assumed = new AssignCmd(Token.NoToken, new List<AssignLhs> { lhs }, new List<Expr> { rhs });
node.ExtendDesugaring(before, new List<Cmd> { assumed });
- }
- else
- {
- node.EmitDependencyChecksum = true;
+ node.ProcDependencyChecksumInPreviousSnapshot = oldProc.DependencyChecksum;
}
}
|