├── .envrc ├── .github ├── dependabot.yml └── workflows │ ├── gh-pages.yml │ └── rust.yml ├── .gitignore ├── CHANGELOG.md ├── CONTRIBUTING.md ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── book ├── .gitignore ├── book.toml ├── gen-docs.sh └── src │ ├── SUMMARY.md │ ├── intro.md │ ├── proptest-derive │ ├── errors.md │ ├── getting-started.md │ ├── index.md │ └── modifiers.md │ └── proptest │ ├── failure-persistence.md │ ├── forking.md │ ├── getting-started.md │ ├── index.md │ ├── limitations.md │ ├── no-std.md │ ├── reference-docs.md │ ├── state-machine.md │ ├── tips-and-best-practices.md │ ├── tutorial │ ├── arbitrary.md │ ├── compound-strategies.md │ ├── config.md │ ├── enums.md │ ├── filtering.md │ ├── higher-order.md │ ├── index.md │ ├── macro-prop-compose.md │ ├── macro-proptest.md │ ├── recursive.md │ ├── shrinking-basics.md │ ├── strategy-basics.md │ ├── test-runner.md │ └── transforming-strategies.md │ ├── vs-quickcheck.md │ └── wasm.md ├── flake.lock ├── flake.nix ├── gen-docs-all.sh ├── prerelease-checks.sh ├── proptest-derive ├── CHANGELOG.md ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── benches │ └── large_enum.rs ├── src │ ├── ast.rs │ ├── attr.rs │ ├── derive.rs │ ├── error.rs │ ├── interp.rs │ ├── lib.rs │ ├── tests.rs │ ├── use_tracking.rs │ ├── util.rs │ └── void.rs └── tests │ ├── assoc.rs │ ├── compile-fail │ ├── E0001-lifetime.rs │ ├── E0002-no-unions.rs │ ├── E0003-void-struct.rs │ ├── E0004-void-enum.rs │ ├── E0005-void-enum.rs │ ├── E0006-void-enum.rs │ ├── E0007-illegal-strategy.rs │ ├── E0008-illegal-skip.rs │ ├── E0009-illegal-weight.rs │ ├── E0010-parent-has-params.rs │ ├── E0011-params-variant.rs │ ├── E0012-parent-has-filter.rs │ ├── E0014-bare-attr.rs │ ├── E0015-lit-set.rs │ ├── E0016-immediate-lit.rs │ ├── E0017-set-again.rs │ ├── E0018-unknown-mod.rs │ ├── E0019-no_params-malformed.rs │ ├── E0020-skip-malformed.rs │ ├── E0021-weight-malformed.rs │ ├── E0022-overspec-param.rs │ ├── E0023-params-malformed-expr.rs │ ├── E0023-params-malformed.rs │ ├── E0025-overspec-strat.rs │ ├── E0026-strategy-malformed-expr.rs │ ├── E0026-strategy-malformed.rs │ ├── E0027-filter-malformed-expr.rs │ ├── E0027-filter-malformed.rs │ ├── E0028-skipped-variant-has-filter.rs │ ├── E0028-skipped-variant-has-param.rs │ ├── E0028-skipped-variant-has-strat.rs │ ├── E0028-skipped-variant-has-weight.rs │ ├── E0029-filter-on-unit-variant.rs │ ├── E0029-params-on-unit-variant.rs │ ├── E0029-strategy-on-unit-variant.rs │ ├── E0030-params-on-unit-struct.rs │ ├── E0031-no-bound-non-tyvar.rs │ ├── E0032-no-bound-malformed.rs │ ├── E0033-weight-overflow.rs │ ├── E0034-regex-malformed.rs │ ├── E0035-cant_set_param_and_regex.rs │ ├── E0658-no-bare-modifiers.rs │ ├── must-be-debug.rs │ ├── no-arbitrary.rs │ └── regex_wrong_type.rs │ ├── compiletest.rs │ ├── enum.rs │ ├── filter.rs │ ├── misc.rs │ ├── no_bound.rs │ ├── params.rs │ ├── phantom.rs │ ├── regex.rs │ ├── skip.rs │ ├── strategy.rs │ ├── struct.rs │ ├── uninhabited-pass.rs │ ├── units.rs │ ├── use_tracker.rs │ ├── value.rs │ ├── value_param.rs │ └── weight.rs ├── proptest-macro ├── CHANGELOG.md ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT └── src │ ├── lib.rs │ └── property_test │ ├── codegen │ ├── arbitrary.rs │ ├── mod.rs │ ├── snapshots │ │ ├── proptest_macro__property_test__codegen__snapshot_tests__arg_ident_and_pattern.snap │ │ ├── proptest_macro__property_test__codegen__snapshot_tests__arg_pattern.snap │ │ ├── proptest_macro__property_test__codegen__snapshot_tests__many_params.snap │ │ ├── proptest_macro__property_test__codegen__snapshot_tests__simple.snap │ │ └── proptest_macro__property_test__codegen__tests__generates_arbitrary_impl.snap │ ├── test_body.rs │ └── test_data │ │ ├── arg_ident_and_pattern.rs │ │ ├── arg_pattern.rs │ │ ├── many_params.rs │ │ └── simple.rs │ ├── mod.rs │ ├── options.rs │ ├── tests │ ├── mod.rs │ ├── snapshot_tests.rs │ └── snapshots │ │ ├── proptest_macro__property_test__tests__snapshot_tests__basic_derive_example.snap │ │ ├── proptest_macro__property_test__tests__snapshot_tests__custom_strategy.snap │ │ └── proptest_macro__property_test__tests__snapshot_tests__mix_custom_and_default_strategies.snap │ ├── utils.rs │ └── validate.rs ├── proptest-state-machine ├── CHANGELOG.md ├── Cargo.toml ├── README.md ├── examples │ ├── state_machine_echo_server.rs │ └── state_machine_heap.rs ├── proptest-regressions │ └── strategy.txt └── src │ ├── lib.rs │ ├── strategy.rs │ └── test_runner.rs ├── proptest ├── CHANGELOG.md ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── examples │ ├── config-defaults.rs │ ├── dateparser_v1.rs │ ├── dateparser_v2.rs │ ├── fib.rs │ ├── tutorial-simplify-play.rs │ └── tutorial-strategy-play.rs ├── gen-docs.sh ├── gen-readme.sh ├── proptest-regressions │ ├── .gitignore │ ├── arbitrary │ │ └── _std │ │ │ └── env.txt │ └── test_runner │ │ └── rng.txt ├── readme-antelogue.md ├── readme-prologue.md ├── src │ ├── arbitrary │ │ ├── _alloc │ │ │ ├── alloc.rs │ │ │ ├── borrow.rs │ │ │ ├── boxed.rs │ │ │ ├── char.rs │ │ │ ├── collections.rs │ │ │ ├── hash.rs │ │ │ ├── mod.rs │ │ │ ├── ops.rs │ │ │ ├── rc.rs │ │ │ ├── str.rs │ │ │ └── sync.rs │ │ ├── _core │ │ │ ├── ascii.rs │ │ │ ├── cell.rs │ │ │ ├── cmp.rs │ │ │ ├── convert.rs │ │ │ ├── fmt.rs │ │ │ ├── iter.rs │ │ │ ├── marker.rs │ │ │ ├── mem.rs │ │ │ ├── mod.rs │ │ │ ├── non_zero.rs │ │ │ ├── num.rs │ │ │ ├── option.rs │ │ │ └── result.rs │ │ ├── _std │ │ │ ├── env.rs │ │ │ ├── ffi.rs │ │ │ ├── fs.rs │ │ │ ├── io.rs │ │ │ ├── mod.rs │ │ │ ├── net.rs │ │ │ ├── panic.rs │ │ │ ├── path.rs │ │ │ ├── string.rs │ │ │ ├── sync.rs │ │ │ ├── thread.rs │ │ │ └── time.rs │ │ ├── arrays.rs │ │ ├── functor.rs │ │ ├── macros.rs │ │ ├── mod.rs │ │ ├── primitives.rs │ │ ├── sample.rs │ │ ├── traits.rs │ │ └── tuples.rs │ ├── array.rs │ ├── bits.rs │ ├── bool.rs │ ├── char.rs │ ├── collection.rs │ ├── file-preamble │ ├── lib.rs │ ├── macros.rs │ ├── num.rs │ ├── num │ │ └── float_samplers.rs │ ├── option.rs │ ├── path.rs │ ├── prelude.rs │ ├── product_tuple.rs │ ├── regex-contrib │ │ ├── README.md │ │ └── crates_regex.rs │ ├── result.rs │ ├── sample.rs │ ├── std_facade.rs │ ├── strategy │ │ ├── filter.rs │ │ ├── filter_map.rs │ │ ├── flatten.rs │ │ ├── fuse.rs │ │ ├── just.rs │ │ ├── lazy.rs │ │ ├── map.rs │ │ ├── mod.rs │ │ ├── recursive.rs │ │ ├── shuffle.rs │ │ ├── statics.rs │ │ ├── traits.rs │ │ └── unions.rs │ ├── string.rs │ ├── sugar.rs │ ├── test_runner │ │ ├── config.rs │ │ ├── errors.rs │ │ ├── failure_persistence │ │ │ ├── file.rs │ │ │ ├── map.rs │ │ │ ├── mod.rs │ │ │ └── noop.rs │ │ ├── mod.rs │ │ ├── reason.rs │ │ ├── replay.rs │ │ ├── result_cache.rs │ │ ├── rng.rs │ │ ├── runner.rs │ │ └── scoped_panic_hook.rs │ └── tuple.rs ├── test-persistence-location │ ├── .gitignore │ ├── README.md │ ├── run-tests.bat │ ├── run-tests.sh │ ├── single-crate │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── submodule │ │ │ ├── code.rs │ │ │ └── mod.rs │ └── workspace │ │ ├── Cargo.toml │ │ └── member │ │ ├── Cargo.toml │ │ └── src │ │ ├── lib.rs │ │ └── submodule │ │ ├── code.rs │ │ └── mod.rs └── tests │ ├── attr_macro.rs │ └── pass │ ├── hygiene.rs │ ├── simple_example.rs │ └── with_params.rs └── rustfmt.toml /.envrc: -------------------------------------------------------------------------------- 1 | use flake 2 | -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/gh-pages.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/.github/workflows/gh-pages.yml -------------------------------------------------------------------------------- /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | proptest/README.md -------------------------------------------------------------------------------- /book/.gitignore: -------------------------------------------------------------------------------- 1 | book 2 | -------------------------------------------------------------------------------- /book/book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/book.toml -------------------------------------------------------------------------------- /book/gen-docs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/gen-docs.sh -------------------------------------------------------------------------------- /book/src/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/SUMMARY.md -------------------------------------------------------------------------------- /book/src/intro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/intro.md -------------------------------------------------------------------------------- /book/src/proptest-derive/errors.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest-derive/errors.md -------------------------------------------------------------------------------- /book/src/proptest-derive/getting-started.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest-derive/getting-started.md -------------------------------------------------------------------------------- /book/src/proptest-derive/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest-derive/index.md -------------------------------------------------------------------------------- /book/src/proptest-derive/modifiers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest-derive/modifiers.md -------------------------------------------------------------------------------- /book/src/proptest/failure-persistence.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/failure-persistence.md -------------------------------------------------------------------------------- /book/src/proptest/forking.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/forking.md -------------------------------------------------------------------------------- /book/src/proptest/getting-started.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/getting-started.md -------------------------------------------------------------------------------- /book/src/proptest/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/index.md -------------------------------------------------------------------------------- /book/src/proptest/limitations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/limitations.md -------------------------------------------------------------------------------- /book/src/proptest/no-std.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/no-std.md -------------------------------------------------------------------------------- /book/src/proptest/reference-docs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/reference-docs.md -------------------------------------------------------------------------------- /book/src/proptest/state-machine.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/state-machine.md -------------------------------------------------------------------------------- /book/src/proptest/tips-and-best-practices.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/tips-and-best-practices.md -------------------------------------------------------------------------------- /book/src/proptest/tutorial/arbitrary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/tutorial/arbitrary.md -------------------------------------------------------------------------------- /book/src/proptest/tutorial/compound-strategies.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/tutorial/compound-strategies.md -------------------------------------------------------------------------------- /book/src/proptest/tutorial/config.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/tutorial/config.md -------------------------------------------------------------------------------- /book/src/proptest/tutorial/enums.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/tutorial/enums.md -------------------------------------------------------------------------------- /book/src/proptest/tutorial/filtering.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/tutorial/filtering.md -------------------------------------------------------------------------------- /book/src/proptest/tutorial/higher-order.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/tutorial/higher-order.md -------------------------------------------------------------------------------- /book/src/proptest/tutorial/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/tutorial/index.md -------------------------------------------------------------------------------- /book/src/proptest/tutorial/macro-prop-compose.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/tutorial/macro-prop-compose.md -------------------------------------------------------------------------------- /book/src/proptest/tutorial/macro-proptest.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/tutorial/macro-proptest.md -------------------------------------------------------------------------------- /book/src/proptest/tutorial/recursive.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/tutorial/recursive.md -------------------------------------------------------------------------------- /book/src/proptest/tutorial/shrinking-basics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/tutorial/shrinking-basics.md -------------------------------------------------------------------------------- /book/src/proptest/tutorial/strategy-basics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/tutorial/strategy-basics.md -------------------------------------------------------------------------------- /book/src/proptest/tutorial/test-runner.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/tutorial/test-runner.md -------------------------------------------------------------------------------- /book/src/proptest/tutorial/transforming-strategies.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/tutorial/transforming-strategies.md -------------------------------------------------------------------------------- /book/src/proptest/vs-quickcheck.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/vs-quickcheck.md -------------------------------------------------------------------------------- /book/src/proptest/wasm.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/book/src/proptest/wasm.md -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/flake.nix -------------------------------------------------------------------------------- /gen-docs-all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/gen-docs-all.sh -------------------------------------------------------------------------------- /prerelease-checks.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/prerelease-checks.sh -------------------------------------------------------------------------------- /proptest-derive/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/CHANGELOG.md -------------------------------------------------------------------------------- /proptest-derive/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/Cargo.toml -------------------------------------------------------------------------------- /proptest-derive/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/LICENSE-APACHE -------------------------------------------------------------------------------- /proptest-derive/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/LICENSE-MIT -------------------------------------------------------------------------------- /proptest-derive/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/README.md -------------------------------------------------------------------------------- /proptest-derive/benches/large_enum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/benches/large_enum.rs -------------------------------------------------------------------------------- /proptest-derive/src/ast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/src/ast.rs -------------------------------------------------------------------------------- /proptest-derive/src/attr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/src/attr.rs -------------------------------------------------------------------------------- /proptest-derive/src/derive.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/src/derive.rs -------------------------------------------------------------------------------- /proptest-derive/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/src/error.rs -------------------------------------------------------------------------------- /proptest-derive/src/interp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/src/interp.rs -------------------------------------------------------------------------------- /proptest-derive/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/src/lib.rs -------------------------------------------------------------------------------- /proptest-derive/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/src/tests.rs -------------------------------------------------------------------------------- /proptest-derive/src/use_tracking.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/src/use_tracking.rs -------------------------------------------------------------------------------- /proptest-derive/src/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/src/util.rs -------------------------------------------------------------------------------- /proptest-derive/src/void.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/src/void.rs -------------------------------------------------------------------------------- /proptest-derive/tests/assoc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/assoc.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0001-lifetime.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0001-lifetime.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0002-no-unions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0002-no-unions.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0003-void-struct.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0003-void-struct.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0004-void-enum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0004-void-enum.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0005-void-enum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0005-void-enum.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0006-void-enum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0006-void-enum.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0007-illegal-strategy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0007-illegal-strategy.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0008-illegal-skip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0008-illegal-skip.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0009-illegal-weight.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0009-illegal-weight.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0010-parent-has-params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0010-parent-has-params.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0011-params-variant.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0011-params-variant.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0012-parent-has-filter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0012-parent-has-filter.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0014-bare-attr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0014-bare-attr.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0015-lit-set.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0015-lit-set.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0016-immediate-lit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0016-immediate-lit.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0017-set-again.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0017-set-again.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0018-unknown-mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0018-unknown-mod.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0019-no_params-malformed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0019-no_params-malformed.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0020-skip-malformed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0020-skip-malformed.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0021-weight-malformed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0021-weight-malformed.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0022-overspec-param.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0022-overspec-param.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0023-params-malformed-expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0023-params-malformed-expr.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0023-params-malformed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0023-params-malformed.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0025-overspec-strat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0025-overspec-strat.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0026-strategy-malformed-expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0026-strategy-malformed-expr.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0026-strategy-malformed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0026-strategy-malformed.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0027-filter-malformed-expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0027-filter-malformed-expr.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0027-filter-malformed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0027-filter-malformed.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0028-skipped-variant-has-filter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0028-skipped-variant-has-filter.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0028-skipped-variant-has-param.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0028-skipped-variant-has-param.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0028-skipped-variant-has-strat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0028-skipped-variant-has-strat.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0028-skipped-variant-has-weight.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0028-skipped-variant-has-weight.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0029-filter-on-unit-variant.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0029-filter-on-unit-variant.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0029-params-on-unit-variant.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0029-params-on-unit-variant.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0029-strategy-on-unit-variant.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0029-strategy-on-unit-variant.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0030-params-on-unit-struct.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0030-params-on-unit-struct.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0031-no-bound-non-tyvar.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0031-no-bound-non-tyvar.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0032-no-bound-malformed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0032-no-bound-malformed.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0033-weight-overflow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0033-weight-overflow.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0034-regex-malformed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0034-regex-malformed.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0035-cant_set_param_and_regex.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0035-cant_set_param_and_regex.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/E0658-no-bare-modifiers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/E0658-no-bare-modifiers.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/must-be-debug.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/must-be-debug.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/no-arbitrary.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/no-arbitrary.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compile-fail/regex_wrong_type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compile-fail/regex_wrong_type.rs -------------------------------------------------------------------------------- /proptest-derive/tests/compiletest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/compiletest.rs -------------------------------------------------------------------------------- /proptest-derive/tests/enum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/enum.rs -------------------------------------------------------------------------------- /proptest-derive/tests/filter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/filter.rs -------------------------------------------------------------------------------- /proptest-derive/tests/misc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/misc.rs -------------------------------------------------------------------------------- /proptest-derive/tests/no_bound.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/no_bound.rs -------------------------------------------------------------------------------- /proptest-derive/tests/params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/params.rs -------------------------------------------------------------------------------- /proptest-derive/tests/phantom.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/phantom.rs -------------------------------------------------------------------------------- /proptest-derive/tests/regex.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/regex.rs -------------------------------------------------------------------------------- /proptest-derive/tests/skip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/skip.rs -------------------------------------------------------------------------------- /proptest-derive/tests/strategy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/strategy.rs -------------------------------------------------------------------------------- /proptest-derive/tests/struct.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/struct.rs -------------------------------------------------------------------------------- /proptest-derive/tests/uninhabited-pass.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/uninhabited-pass.rs -------------------------------------------------------------------------------- /proptest-derive/tests/units.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/units.rs -------------------------------------------------------------------------------- /proptest-derive/tests/use_tracker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/use_tracker.rs -------------------------------------------------------------------------------- /proptest-derive/tests/value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/value.rs -------------------------------------------------------------------------------- /proptest-derive/tests/value_param.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/value_param.rs -------------------------------------------------------------------------------- /proptest-derive/tests/weight.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-derive/tests/weight.rs -------------------------------------------------------------------------------- /proptest-macro/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/CHANGELOG.md -------------------------------------------------------------------------------- /proptest-macro/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/Cargo.toml -------------------------------------------------------------------------------- /proptest-macro/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/LICENSE-APACHE -------------------------------------------------------------------------------- /proptest-macro/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/LICENSE-MIT -------------------------------------------------------------------------------- /proptest-macro/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/lib.rs -------------------------------------------------------------------------------- /proptest-macro/src/property_test/codegen/arbitrary.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/codegen/arbitrary.rs -------------------------------------------------------------------------------- /proptest-macro/src/property_test/codegen/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/codegen/mod.rs -------------------------------------------------------------------------------- /proptest-macro/src/property_test/codegen/snapshots/proptest_macro__property_test__codegen__snapshot_tests__arg_ident_and_pattern.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/codegen/snapshots/proptest_macro__property_test__codegen__snapshot_tests__arg_ident_and_pattern.snap -------------------------------------------------------------------------------- /proptest-macro/src/property_test/codegen/snapshots/proptest_macro__property_test__codegen__snapshot_tests__arg_pattern.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/codegen/snapshots/proptest_macro__property_test__codegen__snapshot_tests__arg_pattern.snap -------------------------------------------------------------------------------- /proptest-macro/src/property_test/codegen/snapshots/proptest_macro__property_test__codegen__snapshot_tests__many_params.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/codegen/snapshots/proptest_macro__property_test__codegen__snapshot_tests__many_params.snap -------------------------------------------------------------------------------- /proptest-macro/src/property_test/codegen/snapshots/proptest_macro__property_test__codegen__snapshot_tests__simple.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/codegen/snapshots/proptest_macro__property_test__codegen__snapshot_tests__simple.snap -------------------------------------------------------------------------------- /proptest-macro/src/property_test/codegen/snapshots/proptest_macro__property_test__codegen__tests__generates_arbitrary_impl.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/codegen/snapshots/proptest_macro__property_test__codegen__tests__generates_arbitrary_impl.snap -------------------------------------------------------------------------------- /proptest-macro/src/property_test/codegen/test_body.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/codegen/test_body.rs -------------------------------------------------------------------------------- /proptest-macro/src/property_test/codegen/test_data/arg_ident_and_pattern.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/codegen/test_data/arg_ident_and_pattern.rs -------------------------------------------------------------------------------- /proptest-macro/src/property_test/codegen/test_data/arg_pattern.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/codegen/test_data/arg_pattern.rs -------------------------------------------------------------------------------- /proptest-macro/src/property_test/codegen/test_data/many_params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/codegen/test_data/many_params.rs -------------------------------------------------------------------------------- /proptest-macro/src/property_test/codegen/test_data/simple.rs: -------------------------------------------------------------------------------- 1 | fn foo(x: i32) { 2 | println!("{x}"); 3 | } 4 | -------------------------------------------------------------------------------- /proptest-macro/src/property_test/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/mod.rs -------------------------------------------------------------------------------- /proptest-macro/src/property_test/options.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/options.rs -------------------------------------------------------------------------------- /proptest-macro/src/property_test/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/tests/mod.rs -------------------------------------------------------------------------------- /proptest-macro/src/property_test/tests/snapshot_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/tests/snapshot_tests.rs -------------------------------------------------------------------------------- /proptest-macro/src/property_test/tests/snapshots/proptest_macro__property_test__tests__snapshot_tests__basic_derive_example.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/tests/snapshots/proptest_macro__property_test__tests__snapshot_tests__basic_derive_example.snap -------------------------------------------------------------------------------- /proptest-macro/src/property_test/tests/snapshots/proptest_macro__property_test__tests__snapshot_tests__custom_strategy.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/tests/snapshots/proptest_macro__property_test__tests__snapshot_tests__custom_strategy.snap -------------------------------------------------------------------------------- /proptest-macro/src/property_test/tests/snapshots/proptest_macro__property_test__tests__snapshot_tests__mix_custom_and_default_strategies.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/tests/snapshots/proptest_macro__property_test__tests__snapshot_tests__mix_custom_and_default_strategies.snap -------------------------------------------------------------------------------- /proptest-macro/src/property_test/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/utils.rs -------------------------------------------------------------------------------- /proptest-macro/src/property_test/validate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-macro/src/property_test/validate.rs -------------------------------------------------------------------------------- /proptest-state-machine/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-state-machine/CHANGELOG.md -------------------------------------------------------------------------------- /proptest-state-machine/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-state-machine/Cargo.toml -------------------------------------------------------------------------------- /proptest-state-machine/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-state-machine/README.md -------------------------------------------------------------------------------- /proptest-state-machine/examples/state_machine_echo_server.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-state-machine/examples/state_machine_echo_server.rs -------------------------------------------------------------------------------- /proptest-state-machine/examples/state_machine_heap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-state-machine/examples/state_machine_heap.rs -------------------------------------------------------------------------------- /proptest-state-machine/proptest-regressions/strategy.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-state-machine/proptest-regressions/strategy.txt -------------------------------------------------------------------------------- /proptest-state-machine/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-state-machine/src/lib.rs -------------------------------------------------------------------------------- /proptest-state-machine/src/strategy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-state-machine/src/strategy.rs -------------------------------------------------------------------------------- /proptest-state-machine/src/test_runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest-state-machine/src/test_runner.rs -------------------------------------------------------------------------------- /proptest/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/CHANGELOG.md -------------------------------------------------------------------------------- /proptest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/Cargo.toml -------------------------------------------------------------------------------- /proptest/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/LICENSE-APACHE -------------------------------------------------------------------------------- /proptest/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/LICENSE-MIT -------------------------------------------------------------------------------- /proptest/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/README.md -------------------------------------------------------------------------------- /proptest/examples/config-defaults.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/examples/config-defaults.rs -------------------------------------------------------------------------------- /proptest/examples/dateparser_v1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/examples/dateparser_v1.rs -------------------------------------------------------------------------------- /proptest/examples/dateparser_v2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/examples/dateparser_v2.rs -------------------------------------------------------------------------------- /proptest/examples/fib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/examples/fib.rs -------------------------------------------------------------------------------- /proptest/examples/tutorial-simplify-play.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/examples/tutorial-simplify-play.rs -------------------------------------------------------------------------------- /proptest/examples/tutorial-strategy-play.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/examples/tutorial-strategy-play.rs -------------------------------------------------------------------------------- /proptest/gen-docs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/gen-docs.sh -------------------------------------------------------------------------------- /proptest/gen-readme.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/gen-readme.sh -------------------------------------------------------------------------------- /proptest/proptest-regressions/.gitignore: -------------------------------------------------------------------------------- 1 | # Produced by a test that deliberately fails. 2 | sugar.txt 3 | -------------------------------------------------------------------------------- /proptest/proptest-regressions/arbitrary/_std/env.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/proptest-regressions/arbitrary/_std/env.txt -------------------------------------------------------------------------------- /proptest/proptest-regressions/test_runner/rng.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/proptest-regressions/test_runner/rng.txt -------------------------------------------------------------------------------- /proptest/readme-antelogue.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/readme-antelogue.md -------------------------------------------------------------------------------- /proptest/readme-prologue.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/readme-prologue.md -------------------------------------------------------------------------------- /proptest/src/arbitrary/_alloc/alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_alloc/alloc.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_alloc/borrow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_alloc/borrow.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_alloc/boxed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_alloc/boxed.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_alloc/char.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_alloc/char.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_alloc/collections.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_alloc/collections.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_alloc/hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_alloc/hash.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_alloc/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_alloc/mod.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_alloc/ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_alloc/ops.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_alloc/rc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_alloc/rc.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_alloc/str.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_alloc/str.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_alloc/sync.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_alloc/sync.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_core/ascii.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_core/ascii.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_core/cell.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_core/cell.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_core/cmp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_core/cmp.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_core/convert.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_core/convert.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_core/fmt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_core/fmt.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_core/iter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_core/iter.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_core/marker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_core/marker.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_core/mem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_core/mem.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_core/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_core/mod.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_core/non_zero.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_core/non_zero.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_core/num.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_core/num.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_core/option.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_core/option.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_core/result.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_core/result.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_std/env.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_std/env.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_std/ffi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_std/ffi.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_std/fs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_std/fs.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_std/io.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_std/io.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_std/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_std/mod.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_std/net.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_std/net.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_std/panic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_std/panic.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_std/path.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_std/path.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_std/string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_std/string.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_std/sync.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_std/sync.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_std/thread.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_std/thread.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/_std/time.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/_std/time.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/arrays.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/arrays.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/functor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/functor.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/macros.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/mod.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/primitives.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/primitives.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/sample.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/sample.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/traits.rs -------------------------------------------------------------------------------- /proptest/src/arbitrary/tuples.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/arbitrary/tuples.rs -------------------------------------------------------------------------------- /proptest/src/array.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/array.rs -------------------------------------------------------------------------------- /proptest/src/bits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/bits.rs -------------------------------------------------------------------------------- /proptest/src/bool.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/bool.rs -------------------------------------------------------------------------------- /proptest/src/char.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/char.rs -------------------------------------------------------------------------------- /proptest/src/collection.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/collection.rs -------------------------------------------------------------------------------- /proptest/src/file-preamble: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/file-preamble -------------------------------------------------------------------------------- /proptest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/lib.rs -------------------------------------------------------------------------------- /proptest/src/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/macros.rs -------------------------------------------------------------------------------- /proptest/src/num.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/num.rs -------------------------------------------------------------------------------- /proptest/src/num/float_samplers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/num/float_samplers.rs -------------------------------------------------------------------------------- /proptest/src/option.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/option.rs -------------------------------------------------------------------------------- /proptest/src/path.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/path.rs -------------------------------------------------------------------------------- /proptest/src/prelude.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/prelude.rs -------------------------------------------------------------------------------- /proptest/src/product_tuple.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/product_tuple.rs -------------------------------------------------------------------------------- /proptest/src/regex-contrib/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/regex-contrib/README.md -------------------------------------------------------------------------------- /proptest/src/regex-contrib/crates_regex.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/regex-contrib/crates_regex.rs -------------------------------------------------------------------------------- /proptest/src/result.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/result.rs -------------------------------------------------------------------------------- /proptest/src/sample.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/sample.rs -------------------------------------------------------------------------------- /proptest/src/std_facade.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/std_facade.rs -------------------------------------------------------------------------------- /proptest/src/strategy/filter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/strategy/filter.rs -------------------------------------------------------------------------------- /proptest/src/strategy/filter_map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/strategy/filter_map.rs -------------------------------------------------------------------------------- /proptest/src/strategy/flatten.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/strategy/flatten.rs -------------------------------------------------------------------------------- /proptest/src/strategy/fuse.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/strategy/fuse.rs -------------------------------------------------------------------------------- /proptest/src/strategy/just.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/strategy/just.rs -------------------------------------------------------------------------------- /proptest/src/strategy/lazy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/strategy/lazy.rs -------------------------------------------------------------------------------- /proptest/src/strategy/map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/strategy/map.rs -------------------------------------------------------------------------------- /proptest/src/strategy/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/strategy/mod.rs -------------------------------------------------------------------------------- /proptest/src/strategy/recursive.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/strategy/recursive.rs -------------------------------------------------------------------------------- /proptest/src/strategy/shuffle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/strategy/shuffle.rs -------------------------------------------------------------------------------- /proptest/src/strategy/statics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/strategy/statics.rs -------------------------------------------------------------------------------- /proptest/src/strategy/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/strategy/traits.rs -------------------------------------------------------------------------------- /proptest/src/strategy/unions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/strategy/unions.rs -------------------------------------------------------------------------------- /proptest/src/string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/string.rs -------------------------------------------------------------------------------- /proptest/src/sugar.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/sugar.rs -------------------------------------------------------------------------------- /proptest/src/test_runner/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/test_runner/config.rs -------------------------------------------------------------------------------- /proptest/src/test_runner/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/test_runner/errors.rs -------------------------------------------------------------------------------- /proptest/src/test_runner/failure_persistence/file.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/test_runner/failure_persistence/file.rs -------------------------------------------------------------------------------- /proptest/src/test_runner/failure_persistence/map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/test_runner/failure_persistence/map.rs -------------------------------------------------------------------------------- /proptest/src/test_runner/failure_persistence/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/test_runner/failure_persistence/mod.rs -------------------------------------------------------------------------------- /proptest/src/test_runner/failure_persistence/noop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/test_runner/failure_persistence/noop.rs -------------------------------------------------------------------------------- /proptest/src/test_runner/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/test_runner/mod.rs -------------------------------------------------------------------------------- /proptest/src/test_runner/reason.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/test_runner/reason.rs -------------------------------------------------------------------------------- /proptest/src/test_runner/replay.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/test_runner/replay.rs -------------------------------------------------------------------------------- /proptest/src/test_runner/result_cache.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/test_runner/result_cache.rs -------------------------------------------------------------------------------- /proptest/src/test_runner/rng.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/test_runner/rng.rs -------------------------------------------------------------------------------- /proptest/src/test_runner/runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/test_runner/runner.rs -------------------------------------------------------------------------------- /proptest/src/test_runner/scoped_panic_hook.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/test_runner/scoped_panic_hook.rs -------------------------------------------------------------------------------- /proptest/src/tuple.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/src/tuple.rs -------------------------------------------------------------------------------- /proptest/test-persistence-location/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/test-persistence-location/.gitignore -------------------------------------------------------------------------------- /proptest/test-persistence-location/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/test-persistence-location/README.md -------------------------------------------------------------------------------- /proptest/test-persistence-location/run-tests.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/test-persistence-location/run-tests.bat -------------------------------------------------------------------------------- /proptest/test-persistence-location/run-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/test-persistence-location/run-tests.sh -------------------------------------------------------------------------------- /proptest/test-persistence-location/single-crate/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/test-persistence-location/single-crate/Cargo.toml -------------------------------------------------------------------------------- /proptest/test-persistence-location/single-crate/src/lib.rs: -------------------------------------------------------------------------------- 1 | #[macro_use] extern crate proptest; 2 | pub mod submodule; 3 | -------------------------------------------------------------------------------- /proptest/test-persistence-location/single-crate/src/submodule/code.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/test-persistence-location/single-crate/src/submodule/code.rs -------------------------------------------------------------------------------- /proptest/test-persistence-location/single-crate/src/submodule/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod code; 2 | -------------------------------------------------------------------------------- /proptest/test-persistence-location/workspace/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/test-persistence-location/workspace/Cargo.toml -------------------------------------------------------------------------------- /proptest/test-persistence-location/workspace/member/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/test-persistence-location/workspace/member/Cargo.toml -------------------------------------------------------------------------------- /proptest/test-persistence-location/workspace/member/src/lib.rs: -------------------------------------------------------------------------------- 1 | #[macro_use] extern crate proptest; 2 | pub mod submodule; 3 | -------------------------------------------------------------------------------- /proptest/test-persistence-location/workspace/member/src/submodule/code.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/test-persistence-location/workspace/member/src/submodule/code.rs -------------------------------------------------------------------------------- /proptest/test-persistence-location/workspace/member/src/submodule/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod code; 2 | -------------------------------------------------------------------------------- /proptest/tests/attr_macro.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/tests/attr_macro.rs -------------------------------------------------------------------------------- /proptest/tests/pass/hygiene.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/tests/pass/hygiene.rs -------------------------------------------------------------------------------- /proptest/tests/pass/simple_example.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/tests/pass/simple_example.rs -------------------------------------------------------------------------------- /proptest/tests/pass/with_params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/proptest-rs/proptest/HEAD/proptest/tests/pass/with_params.rs -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- 1 | max_width = 80 2 | newline_style = "Unix" 3 | --------------------------------------------------------------------------------