Changed "dummy" checksums to "stable" and added more tests for the verification result caching.

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Dafny/Translator.cs b/Source/Dafny/Translator.cs
index 39b1ea95..854883c8 100644
--- a/Source/Dafny/Translator.cs
+++ b/Source/Dafny/Translator.cs
@@ -398,13 +398,13 @@ namespace Microsoft.Dafny {
           var impl = decl as Implementation;

           if (impl != null && impl.FindStringAttribute("checksum") == null)

           {

-            impl.AddAttribute("checksum", "dummy");

+            impl.AddAttribute("checksum", "stable");

           }

 

           var func = decl as Bpl.Function;

           if (func != null && func.FindStringAttribute("checksum") == null)

           {

-            func.AddAttribute("checksum", "dummy");

+            func.AddAttribute("checksum", "stable");

           }

         }

       }