"Update dependencies" command missing.

[Timmmm]

The current book says to run the Update Dependencies command for the VSCode extension, but it doesn't exist.

There is Update verifier but unfortunately it gives an error:

(I'm using Windows in case you couldn't tell.)

Extension version is v0.11.2

[fpoli]

Thank you for the report. I'm surprised it doesn't work; the update command is regularly tested. Could it be that the extension is not active (issue #36), because for example you didn't open a Rust file? Anyway, can you attach the logs (Output -> Prusti assistant)?

[fpoli]

Prusti's documentations should say "Update verifier", yes.

[fpoli]

Feel free to reopen if you can reproduce this issue.