How to install prusti on mac m2 chip

[kavitalnu]

Hi ,

I want to install prusti extension on vs code and need detail steps to install prusti and do verification while using rust language in vs code .

Can you please provide me detail steps as it is failing showing error on vs code when I tried to add extension "Prusti server stopped working. We would appreciate a bug report. See the log (View -> Output -> Prusti Assistant Server) for more details."

Thanks

[fpoli]

We currently do not release precompiled binaries for macOS arm64. So, you have to compile Prusti from source on your own and configure the Prusti extension to use the binaries that you compiled. See #1193 (comment) for the step-by-step instructions.

I'll close this issue because it largely overlaps with #1193 (and viperproject/prusti-assistant#191). Please comment there if the instructions don't work.