Improve error messages - Githubissues

runtimeverification / simbolik-vscode

BSD 3-Clause "New" or "Revised" License

12 stars 2 forks source link

Improve error messages #4

Open lisandrasilva opened 4 months ago

lisandrasilva commented 4 months ago

This PR improves the error messages when forge or anvil do not work, possibly because they are not in the vscode shell PATH. The error message gives a hint on how to fix the problem. It also has a help button that opens a browser with the Simbolik documentation.