diff options
author | wuestholz <unknown> | 2014-11-10 14:01:58 +0100 |
---|---|---|
committer | wuestholz <unknown> | 2014-11-10 14:01:58 +0100 |
commit | c7a2a70a879e2506f6470e0abab2e03b1b60408a (patch) | |
tree | f6409b622256e50318afd43f6040c95bd0d9eb0e /Source/ExecutionEngine | |
parent | 75542ea0ee9f14ef18eee6e3349747a8f7181b51 (diff) |
Fixed issue in the verification result caching.
Diffstat (limited to 'Source/ExecutionEngine')
-rw-r--r-- | Source/ExecutionEngine/VerificationResultCache.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/ExecutionEngine/VerificationResultCache.cs b/Source/ExecutionEngine/VerificationResultCache.cs index 5bce360b..e25c9306 100644 --- a/Source/ExecutionEngine/VerificationResultCache.cs +++ b/Source/ExecutionEngine/VerificationResultCache.cs @@ -166,12 +166,12 @@ namespace Microsoft.Boogie {
if (result.Outcome == ConditionGeneration.Outcome.Errors && result.Errors != null && result.Errors.Count < CommandLineOptions.Clo.ProverCCLimit)
{
- implementation.SetErrorChecksumToCachedError(result.Errors.Select(cex => new Tuple<byte[], object>(cex.Checksum, cex)));
+ implementation.SetErrorChecksumToCachedError(result.Errors.Select(cex => new Tuple<byte[], byte[], object>(cex.Checksum, cex.SugaredCmdChecksum, cex)));
implementation.AssertionChecksumsInCachedSnapshot = result.AssertionChecksums;
}
else if (result.Outcome == ConditionGeneration.Outcome.Correct)
{
- implementation.SetErrorChecksumToCachedError(new List<Tuple<byte[], object>>());
+ implementation.SetErrorChecksumToCachedError(new List<Tuple<byte[], byte[], object>>());
implementation.AssertionChecksumsInCachedSnapshot = result.AssertionChecksums;
}
}
|