You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If running on a system which does no have which installed (This is common if running on AL2 images out of the box), then dafny gives the following misleading error message: "Error: Dafny requires Mono to run on non-Windows systems."
If running on a system which does no have
which
installed (This is common if running on AL2 images out of the box), then dafny gives the following misleading error message: "Error: Dafny requires Mono to run on non-Windows systems."Instead, dafny should either surface a message about missing 'which', or dafny should use another method for determining if 'mono' is installed. (A quick google search shows some alternatives here: https://stackoverflow.com/questions/592620/how-to-check-if-a-program-exists-from-a-bash-script)
The text was updated successfully, but these errors were encountered: