prusti-dev
prusti-dev copied to clipboard
Can't use it w/ virtual workspace w/ resolver 3 or 2024 edition
My workspace Cargo.toml has:
#[...]
[workspace]
resolver = "3"
[workspace.package]
edition = "2024"
#[...]
The error:
┌──── Begin stderr ────┐
error: failed to parse manifest at `/project/backend/bin/Cargo.toml`
Caused by:
error inheriting `version` from workspace root manifest's `workspace.package.version`
Caused by:
failed to parse manifest at `/project/Cargo.toml`
Caused by:
`resolver` setting `3` is not valid, valid options are "1" or "2"
└──── End stderr ──────┘
Exit code 101, signal null.
Error while running Prusti: SyntaxError: Unexpected end of JSON input
Thanks
I have the edition issue as well:
Caused by:
this version of Cargo is older than the `2024` edition, and only supports `2015`, `2018`, and `2021` editions.