DafnyExtension: Fixed an issue in the verification result caching.

1 files changed, 2 insertions, 1 deletions

diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs
index 2dfc0025..79f49dfb 100644
--- a/Source/DafnyExtension/DafnyDriver.cs
+++ b/Source/DafnyExtension/DafnyDriver.cs
@@ -191,9 +191,10 @@ namespace DafnyLanguage
       return Dafny.DafnyOptions.Clo.VerifySnapshots;

     }

 

-    public static bool Verify(Dafny.Program dafnyProgram, string requestId, ErrorReporterDelegate er) {

+    public static bool Verify(Dafny.Program dafnyProgram, string uniqueIdPrefix, string requestId, ErrorReporterDelegate er) {

       Dafny.Translator translator = new Dafny.Translator();

       translator.InsertChecksums = true;

+      translator.UniqueIdPrefix = uniqueIdPrefix;

       Bpl.Program boogieProgram = translator.Translate(dafnyProgram);

 

       PipelineOutcome oc = BoogiePipeline(boogieProgram, requestId, er);