prusti-dev
prusti-dev copied to clipboard
Backlog fixes
In test-crates/crates.csv, replace one Skip with NoCrash or one NoCrash with NoErrors. Optionally, also update a crate version. This should be enough to make the test-crates test fail because of panics or internal errors. To test a single crate you can use ./target/release/test-crates <FILTER>, which checks only the crates whose name contains <FILTER>.
The purpose of this PR is to fix at least one bug (e.g. convert a panic to an internal error or an internal error to a readable "unsupported" error message).
@Aurel300 could you take care of this?