[package] name = "my-crate" version = "0.1.0" edition = "2021" [dependencies] [dev-dependencies] proptest = "1.2.0" shared_correctness_logic = { path = "./shared_correctness_logic" }