fix: Disable /showSnippets in legacy Dafny server (fixes #1969) (#1970)

Co-authored-by: Remy Willems <rwillems@amazon.com>
dafny-lang · Apr 5, 2022 · 470d7f7 · 470d7f7
1 parent f819986
commit 470d7f7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -5,6 +5,7 @@
 - fix: Miscompilation due to incorrect parenthesization in C# output for casts. (#1908)
 - fix: Populate TestResult.ResourceCount in `/verificationLogger:csv` output correctly when verification condition splitting occurs (e.g. when using `/vcsSplitOnEveryAssert`).
 - fix: DafnyOptions.Compiler was null, preventing instantiation of ModuleExportDecl (https://github.com/dafny-lang/dafny/pull/1933)
+- fix: /showSnippets crashes Dafny's legacy server (https://github.com/dafny-lang/dafny/pull/1970)
 
 # 3.5.0
 

diff --git a/Source/DafnyServer/Utilities.cs b/Source/DafnyServer/Utilities.cs
@@ -55,6 +55,7 @@ internal static void ApplyArgs(string[] args, DafnyOptions options) {
         DafnyOptions.O.VcsCores = Math.Max(1, System.Environment.ProcessorCount / 2); // Don't use too many cores
         DafnyOptions.O.PrintTooltips = true; // Dump tooltips (ErrorLevel.Info) to stdout
         //DafnyOptions.O.UnicodeOutput = true; // Use pretty warning signs
+        DafnyOptions.O.ShowSnippets = false; // Server sometimes has filename == null, which crashes showSnippets
         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");