Open omer-g opened 5 years ago
When I try to "Compile and Run" a Dafny program in VS Code (F5 button), there is an error in the run command.
The command that appears in the terminal is: & "c:\Users\admin\short\d\a.exe"
& "c:\Users\admin\short\d\a.exe"
The error following is: & was unexpected at this time.
& was unexpected at this time.
The code compiles fine and if I run the same command without & it executes properly.
&
How to recreate: 1) Write a Dafny program that compiles 2) Press F5 (scope needs to be in editor and not terminal)
Dafny Extension version: 0.17.0 VSCode info:
Version: 1.34.0 (system setup) Commit: a622c65b2c713c890fcf4fbf07cf34049d5fe758 Date: 2019-05-15T21:59:37.030Z Electron: 3.1.8 Chrome: 66.0.3359.181 Node.js: 10.2.0 V8: 6.6.346.32 OS: Windows_NT x64 6.1.7601
When I try to "Compile and Run" a Dafny program in VS Code (F5 button), there is an error in the run command.
The command that appears in the terminal is:
& "c:\Users\admin\short\d\a.exe"The error following is:
& was unexpected at this time.The code compiles fine and if I run the same command without
&it executes properly.How to recreate: 1) Write a Dafny program that compiles 2) Press F5 (scope needs to be in editor and not terminal)
Dafny Extension version: 0.17.0 VSCode info:
Version: 1.34.0 (system setup) Commit: a622c65b2c713c890fcf4fbf07cf34049d5fe758 Date: 2019-05-15T21:59:37.030Z Electron: 3.1.8 Chrome: 66.0.3359.181 Node.js: 10.2.0 V8: 6.6.346.32 OS: Windows_NT x64 6.1.7601