Server: disable tracing when running tests, and fix an encoding issue.

z3 doesn't support byte-order marks; thus using the default UTF8Encoding object
(to allow printing nice warning signs) causes issues, as it sends a BOM before
anything else.

1 files changed, 2 insertions, 1 deletions

diff --git a/Source/DafnyServer/Utilities.cs b/Source/DafnyServer/Utilities.cs
index 4b06e9f5..96254a3d 100644
--- a/Source/DafnyServer/Utilities.cs
+++ b/Source/DafnyServer/Utilities.cs
@@ -43,7 +43,7 @@ namespace Microsoft.Dafny {
       }

     }

 

-    internal static void ApplyArgs(string[] args) {

+    internal static void ApplyArgs(string[] args, bool trace) {

       Dafny.DafnyOptions.Install(new Dafny.DafnyOptions());

       Dafny.DafnyOptions.O.ProverKillTime = 10;

 

@@ -53,6 +53,7 @@ namespace Microsoft.Dafny {
         Dafny.DafnyOptions.O.UnicodeOutput = true;

         Dafny.DafnyOptions.O.VerifySnapshots = 2;

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

+        Dafny.DafnyOptions.Clo.Trace = trace;

       } else {

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

       }