search

runtimeverification / simbolik-vscode

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

foundry.toml #9

Closed joesmith2019 closed 13 hours ago

joesmith2019 commented 3 months ago

I download it, but couldn't use it. It prompt "Could not find foundry.toml" error. My OS is Microsoft windows 11. Please help.

RaoulSchaffranek commented 1 month ago

Hi @joesmith2019!

The debugger only works for Foundry projects and expects a foundry.toml file in your project root folder. For more detailed instructions, you may look at our Getting Started Guide.