Clean up test-crates (#1460)

viperproject · Oct 5, 2023 · e735471 · e735471
1 parent 221b865
commit e735471
Show file tree

Hide file tree

Showing 481 changed files with 10 additions and 85,722 deletions.
diff --git a/test-crates/README.md b/test-crates/README.md
@@ -1,6 +1,14 @@
 Test-crates
 ============
 
-This folder contains the scripts used to run and test Prusti on a set of popular Rust crates.
+A tool to run and test Prusti on a set of popular Rust crates.
 
-These scripts should be eventually replaced by a tool built upon the [rustwide project](https://github.com/rust-lang/rustwide).
+The tool is built upon [rustwide](https://github.com/rust-lang/rustwide). The `crates.csv` file contains the list of crates to test, specifying for each crate its name, version, and a "test kind" flag that configures how Prusti is tested.
+
+Possible values for the test kind, strictly ordered from the most permissive to the most restrictive kind, are the following:
+1. `Skip`: Completely ignore this crate.
+1. `NoCrash`: Test that `cargo-prusti` does not crash nor generate "invalid" errors.
+1. `NoErrors`: Test that `cargo-prusti` does not crash nor generate "internal/invalid" errors.
+1. `NoErrorsWithUnreachableUnsupportedCode`: Test that `cargo-prusti` does not crash nor generate "internal/invalid" when the `allow_unreachable_unsupported_code` flag is set.
+
+To make these tests fully reproducible one should also freeze the `Cargo.lock` in each crate. Without that, the dependencies used by the tested crate can change from time to time. In practice, this is usually not a big issue.
diff --git a/test-crates/cargo-locks/000_libc.Cargo.lock b/test-crates/cargo-locks/000_libc.Cargo.lock
diff --git a/test-crates/cargo-locks/001_bitflags.Cargo.lock b/test-crates/cargo-locks/001_bitflags.Cargo.lock
diff --git a/test-crates/cargo-locks/002_log.Cargo.lock b/test-crates/cargo-locks/002_log.Cargo.lock
diff --git a/test-crates/cargo-locks/003_lazy_static.Cargo.lock b/test-crates/cargo-locks/003_lazy_static.Cargo.lock
diff --git a/test-crates/cargo-locks/004_serde.Cargo.lock b/test-crates/cargo-locks/004_serde.Cargo.lock
diff --git a/test-crates/cargo-locks/005_winapi.Cargo.lock b/test-crates/cargo-locks/005_winapi.Cargo.lock
diff --git a/test-crates/cargo-locks/006_regex.Cargo.lock b/test-crates/cargo-locks/006_regex.Cargo.lock
diff --git a/test-crates/cargo-locks/007_regex-syntax.Cargo.lock b/test-crates/cargo-locks/007_regex-syntax.Cargo.lock
diff --git a/test-crates/cargo-locks/008_num-traits.Cargo.lock b/test-crates/cargo-locks/008_num-traits.Cargo.lock