Add a UniqueIdPrefix in the server and bump up the prover kill time

2 files changed, 4 insertions, 3 deletions

diff --git a/Source/DafnyServer/DafnyHelper.cs b/Source/DafnyServer/DafnyHelper.cs
index 10d98677..f32d0e38 100644
--- a/Source/DafnyServer/DafnyHelper.cs
+++ b/Source/DafnyServer/DafnyHelper.cs
@@ -62,7 +62,7 @@ namespace Microsoft.Dafny {
     }

 

     private bool Translate() {

-      var translator = new Dafny.Translator() { InsertChecksums = true, UniqueIdPrefix = null }; //FIXME check if null is OK for UniqueIdPrefix

+      var translator = new Dafny.Translator() { InsertChecksums = true, UniqueIdPrefix = fname };

       boogieProgram = translator.Translate(dafnyProgram); // FIXME how are translation errors reported?

       return true;

     }

diff --git a/Source/DafnyServer/Utilities.cs b/Source/DafnyServer/Utilities.cs
index 8fb03b05..20fe0578 100644
--- a/Source/DafnyServer/Utilities.cs
+++ b/Source/DafnyServer/Utilities.cs
@@ -49,9 +49,10 @@ namespace Microsoft.Dafny {
       if (CommandLineOptions.Clo.Parse(args)) {

         // Dafny.DafnyOptions.O.ErrorTrace = 0; //FIXME

         // Dafny.DafnyOptions.O.ModelViewFile = "-";

-        Dafny.DafnyOptions.O.ProverKillTime = 10;

-        Dafny.DafnyOptions.O.VcsCores = Math.Max(1, System.Environment.ProcessorCount - 1);

+        Dafny.DafnyOptions.O.ProverKillTime = 20; //FIXME: Should this explicitly override user prefs?

+        Dafny.DafnyOptions.O.VcsCores = Math.Max(1, System.Environment.ProcessorCount - 1); //FIXME

         Dafny.DafnyOptions.O.VerifySnapshots = 2;

+        Dafny.DafnyOptions.O.Trace = true;

       } else {

         throw new ServerException("Invalid command line options");

       }