Tested support for paths with spaces (dafny-lang#3684)

Fixes dafny-lang#3683
fabiomadge · Mar 3, 2023 · 3c8be1e · 3c8be1e
1 parent 92ec075
commit 3c8be1e
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 1 deletion.
diff --git a/Source/DafnyCore/DafnyMain.cs b/Source/DafnyCore/DafnyMain.cs
@@ -76,7 +76,7 @@ public DafnyFile(string filePath, bool useStdin = false) {
       // supported in .Net APIs, because it is very difficult in general
       // So we will just use the absolute path, lowercased for all file systems.
       // cf. IncludeComparer.CompareTo
-      CanonicalPath = !useStdin ? Canonicalize(filePath).AbsolutePath : "<stdin>";
+      CanonicalPath = !useStdin ? Canonicalize(filePath).LocalPath : "<stdin>";
       filePath = CanonicalPath;
 
       if (extension == ".dfy" || extension == ".dfyi") {

diff --git a/Test/name with space/run.dfy b/Test/name with space/run.dfy
@@ -0,0 +1,6 @@
+// RUN: %exits-with 0 %dafny /compile:3 "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+
+method Main() {
+  print "hello";
+}
diff --git a/Test/name with space/run.dfy.expect b/Test/name with space/run.dfy.expect
@@ -0,0 +1,3 @@
+
+Dafny program verifier finished with 0 verified, 0 errors
+hello
diff --git a/docs/dev/news/3683.fix b/docs/dev/news/3683.fix
@@ -0,0 +1 @@
+Tested support for paths with spaces in them