alchiadus/dafny-workbench

Atom package for the program verification tool Dafny.

dafny-workbench's Issues

"Dafny program verifier is running..." but nothing happens.

Hi, I use Mac and I have mono installed on my computer. The executable path points to my "dafny" folder (I downloaded the official releases for Mac OS X). I can run the programs via the terminal but not in Atom. The verifier is running but nothing happens. I guess it's because I'm using a wrapper script, but where exactly do I make us of the lines below?

#!/usr/bin/env bash
mono /path/to/Dafny.exe $*

'dafny' could not be spawned. Is it installed and on your path? If so please open an issue on the package spawning the process.

I always get this problem. 'dafny' could not be spawned. Is it installed and on your path? If so please open an issue on the package spawning the process. If I run atom --safe in cmd, there is no problem. So I think the problem is in package. I have package: dafny-workbench, language-dafny, atom-ide-ui, linter-verification in my atom

What is the diference between the workbench and the linter-verification packages?