diff options
| author |  wuestholz <unknown> | 2014-10-19 19:14:47 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-10-19 19:14:47 +0200 |
| commit | 92aa9a93dd286f10cebd2e10e2bdd2065d51b1aa (patch) | |
| tree | 49eabf7246f4aab6cafaaa7d57e99e1e65b0dfdf /Source/ExecutionEngine/VerificationResultCache.cs | |
| parent | 8f2ef8a079ea77caead0a62f5bec8ce34181d907 (diff) | |
Added more tests for the verification result caching.
Diffstat (limited to 'Source/ExecutionEngine/VerificationResultCache.cs')
| -rw-r--r-- | Source/ExecutionEngine/VerificationResultCache.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/ExecutionEngine/VerificationResultCache.cs b/Source/ExecutionEngine/VerificationResultCache.cs index e042402f..091ccc25 100644 --- a/Source/ExecutionEngine/VerificationResultCache.cs +++ b/Source/ExecutionEngine/VerificationResultCache.cs @@ -204,6 +204,8 @@ namespace Microsoft.Boogie var canUseSpecs = DependencyCollector.AllFunctionDependenciesAreDefinedAndUnchanged(oldProc, Program);
if (canUseSpecs)
{
+ var desugaring = node.Desugaring;
+ Contract.Assert(desugaring != null);
var precond = node.CheckedPrecondition(oldProc, Program);
if (precond != null)
{
|