prop-check-rs
| Crates.io | prop-check-rs |
| lib.rs | prop-check-rs |
| version | |
| source | src |
| created_at | 2021-08-19 15:00:46.911698 |
| updated_at | 2024-12-13 00:23:25.058553 |
| description | A Property-based testing Library in Rust |
| homepage | |
| repository | https://github.com/j5ik2o/prop-check-rs |
| max_upload_size | |
| id | 439649 |
| Cargo.toml error: | TOML parse error at line 18, column 1 | 18 | autolib = false | ^^^^^^^ unknown field `autolib`, expected one of `name`, `version`, `edition`, `authors`, `description`, `readme`, `license`, `repository`, `homepage`, `documentation`, `build`, `resolver`, `links`, `default-run`, `default_dash_run`, `rust-version`, `rust_dash_version`, `rust_version`, `license-file`, `license_dash_file`, `license_file`, `licenseFile`, `license_capital_file`, `forced-target`, `forced_dash_target`, `autobins`, `autotests`, `autoexamples`, `autobenches`, `publish`, `metadata`, `keywords`, `categories`, `exclude`, `include` |
| size | 0 |
Junichi Kato (j5ik2o)
documentation
README
prop-check-rs
A Rust crate for property-based testing.
Install to Cargo.toml
Add this to your Cargo.toml:
[dependencies]
prop-check-rs = "<<version>>"
Usage
Choose one value from a list
#[test]
fn test_one_of() -> Result<()> {
let gen = Gens::one_of_values(['a', 'b', 'c', 'x', 'y', 'z']);
let prop = for_all_gen(gen, move |value| {
log::info!("value = {}", value);
true
});
test_with_prop(prop, 1, 100, new_rng())
}
License
Licensed under either of
- Apache License, Version 2.0, (LICENSE-APACHE or https://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or https://opensource.org/licenses/MIT)
at your option.
Contribution
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.