From 91cee1c2028f9ad995df863f2a4568d95f4ea1a8 Mon Sep 17 00:00:00 2001
From: qunyanm <unknown>
Date: Mon, 28 Mar 2016 12:02:37 -0700
Subject: 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.

---
 Source/DafnyServer/Utilities.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/DafnyServer')

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");
-- 
cgit v1.2.3