prusti-dev icon indicating copy to clipboard operation
prusti-dev copied to clipboard

Published 20 hours ago • verified publisher icon viperproject

Backlog fixes

Open viper-admin opened this issue 2 years ago • 0 comments

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).

@vakaras could you take care of this?

viper-admin avatar Jun 15 '22 07:06 viper-admin