search

runtimeverification / simbolik-vscode

BSD 3-Clause "New" or "Revised" License
16 stars 2 forks source link

Exectuable configuration #3

Closed RaoulSchaffranek closed 6 months ago

RaoulSchaffranek commented 6 months ago

This PR makes the paths to executables (simbolik, anvil, forge) configurable in the extension settings.