Use a nice warning symbol in some warning messages

This is useful because trigger-related messages can contain quite a bit of
information, especially if they include info about multiple split quantifiers.

1 files changed, 3 insertions, 2 deletions

diff --git a/Source/DafnyServer/Utilities.cs b/Source/DafnyServer/Utilities.cs
index 8fb03b05..4b06e9f5 100644
--- a/Source/DafnyServer/Utilities.cs
+++ b/Source/DafnyServer/Utilities.cs
@@ -45,13 +45,14 @@ namespace Microsoft.Dafny {
 

     internal static void ApplyArgs(string[] args) {

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

+      Dafny.DafnyOptions.O.ProverKillTime = 10;

 

       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.UnicodeOutput = true;

         Dafny.DafnyOptions.O.VerifySnapshots = 2;

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

       } else {

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

       }