search

viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.
http://prusti.org
Other
1.52k stars 103 forks source link

Clean up test-crates #1460

Closed fpoli closed 9 months ago

fpoli commented 9 months ago

This PR removes a bunch of unused files and scripts from the test-crates folder, from a time when we wanted to freeze the Cargo.lock of each tested crate to make the tests fully reproducible as done in the OOPSLA'19 evaluation.