diff options
| -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)));
}
|