The 'dafny' script in the binary folder is not usable. It does not pass the arguments it received to dafny.exe.
As a result, some functions provided by boogie-friends cannot be used in Emacs.
After adding "$@" to the end of the last line, my Emacs is able to invoke Dafny to verify the programs.
Comments: Thanks for spotting that! I've fixed it.
As a result, some functions provided by boogie-friends cannot be used in Emacs.
After adding "$@" to the end of the last line, my Emacs is able to invoke Dafny to verify the programs.
Comments: Thanks for spotting that! I've fixed it.