flycheck syntax checker doesn't work in Emacs on Mac OS X 10.10, suspicious state from syntax checker dafny

[boogie-org]

flycheck syntax checker doesn't work in Emacs on Mac OS X 10.10, suspicious state from syntax checker dafny

[texastony]

Can you do us a favor?
Could you save that buffer, and try to run Dafny on the file with the same executable?

That would be something like dafny main.dfy.

I could be wrong, but my dafny path does not include an .exe on Mac OS 11.6. Most of the time, if there is an .exe on my path on my mac, it's because I did something wrong. How did you install dafny? Can you run dafny's quicktest.sh?

Did you notice the note after step 3 of the Automatic Setup? They are asking Mac OS users to use the wrapper scripts.

[cpitclaudel]

Sorry that I didn't reply quickly to this question. For future visitors, my guess is that this is a configuration issue, trying to invoke Dafny.exe directly instead of through the macOS wrapper script.