diff options
author | 2013-06-11 15:18:50 -0700 | |
---|---|---|
committer | 2013-06-11 15:18:50 -0700 | |
commit | 88634a150ccb9c723aef744e66062a2f42e274ba (patch) | |
tree | 2ec347dea188ea0d08ce62fd63edc6fb91fa70f8 /Source/ExecutionEngine/VerificationResultCache.cs | |
parent | 447caeeb7a6abf3e99c3d42499d353285cba304e (diff) |
Worked on improving program snapshot verification.
Diffstat (limited to 'Source/ExecutionEngine/VerificationResultCache.cs')
-rw-r--r-- | Source/ExecutionEngine/VerificationResultCache.cs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Source/ExecutionEngine/VerificationResultCache.cs b/Source/ExecutionEngine/VerificationResultCache.cs index ce87fa25..14bb39ba 100644 --- a/Source/ExecutionEngine/VerificationResultCache.cs +++ b/Source/ExecutionEngine/VerificationResultCache.cs @@ -35,7 +35,10 @@ namespace Microsoft.Boogie return null;
}
- return string.Join("", deps.Select(dep => dep.Checksum));
+ var md5 = System.Security.Cryptography.MD5.Create();
+ var data = Encoding.UTF8.GetBytes(deps.MapConcat(dep => dep.Checksum, ""));
+ var hashedData = md5.ComputeHash(data);
+ return BitConverter.ToString(hashedData);
}
public override Procedure VisitProcedure(Procedure node)
|