Make /autoTriggers:1 to be default. Add /autoTriggers:0 to tests that requires

it. Don't use pretty warning signs since we can't diff them correctly in the
test output from the test run.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/DafnyServer/Utilities.cs b/Source/DafnyServer/Utilities.cs
index 30d779e7..48bea01a 100644
--- a/Source/DafnyServer/Utilities.cs
+++ b/Source/DafnyServer/Utilities.cs
@@ -51,7 +51,7 @@ namespace Microsoft.Dafny {
         DafnyOptions.O.VerifySnapshots = 2; // Use caching

         DafnyOptions.O.VcsCores = Math.Max(1, System.Environment.ProcessorCount / 2); // Don't use too many cores

         DafnyOptions.O.PrintTooltips = true; // Dump tooptips (ErrorLevel.Info) to stdout

-        DafnyOptions.O.UnicodeOutput = true; // Use pretty warning signs

+        //DafnyOptions.O.UnicodeOutput = true; // Use pretty warning signs

         DafnyOptions.O.TraceProofObligations = true; // Show which method is being verified, but don't show duration of verification

       } else {

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