Dafny-VSCode icon indicating copy to clipboard operation
Dafny-VSCode copied to clipboard

Published 20 hours ago • verified publisher icon DafnyVSCode

"& was unexpected at this time" error in compile and run (F5)

Open omer-g opened this issue 5 years ago • 0 comments

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

omer-g avatar May 23 '19 06:05 omer-g