diff options
| author |  wuestholz <unknown> | 2014-10-14 10:39:59 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-10-14 10:39:59 +0200 |
| commit | a6bd13af85d15dddd0d1da73ee2a7384286216ad (patch) | |
| tree | 995609acf46d415bded2269cbd1c2d92660757be /Source/ExecutionEngine | |
| parent | 1db1508be2b8206fd1a9051f887f2fb20970c4c0 (diff) | |
Fix issue in verification result caching.
Diffstat (limited to 'Source/ExecutionEngine')
| -rw-r--r-- | Source/ExecutionEngine/VerificationResultCache.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ExecutionEngine/VerificationResultCache.cs b/Source/ExecutionEngine/VerificationResultCache.cs index f1032485..af3821c2 100644 --- a/Source/ExecutionEngine/VerificationResultCache.cs +++ b/Source/ExecutionEngine/VerificationResultCache.cs @@ -183,7 +183,7 @@ namespace Microsoft.Boogie private static void SetErrorChecksumsInCachedSnapshot(Implementation implementation, VerificationResult result)
{
- if (result.Errors != null && result.Errors.Count < CommandLineOptions.Clo.ProverCCLimit)
+ 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)));
}
|