diff --git a/proptest/Cargo.toml b/proptest/Cargo.toml index d859a484..ae8bc908 100644 --- a/proptest/Cargo.toml +++ b/proptest/Cargo.toml @@ -123,5 +123,4 @@ optional = true [dev-dependencies] regex = "1.0" -# trybuild = { git = "https://github.com/cameron1024/trybuild" } -trybuild = { path = "../../trybuild" } +trybuild = "1" diff --git a/proptest/tests/pass/with_params.rs b/proptest/tests/pass/with_params.rs new file mode 100644 index 00000000..2dc79cfb --- /dev/null +++ b/proptest/tests/pass/with_params.rs @@ -0,0 +1,9 @@ +fn main() {} + +#[proptest::property_test(config = proptest::test_runner::Config { + cases = 10, + ..Default::default() +})] +fn my_test(x: i32) { + assert_eq!(x, x); +}