proptest-rs/proptest issues and pull requests

#280 - Simplifying copyright

Pull Request - State: closed - Opened by rex-remind101 almost 2 years ago

#280 - Simplifying copyright

Pull Request - State: closed - Opened by rex-remind101 almost 2 years ago

#279 - const generic support

Pull Request - State: closed - Opened by cameron1024 almost 2 years ago - 1 comment

#278 - Generating sorted sequences

Issue - State: open - Opened by Kixiron almost 2 years ago - 2 comments
Labels: help wanted

#278 - Generating sorted sequences

Issue - State: open - Opened by Kixiron almost 2 years ago - 2 comments
Labels: help wanted

#277 - Is it possible to run a test for particular seed?

Issue - State: open - Opened by Yamp almost 2 years ago - 1 comment
Labels: help wanted

#277 - Is it possible to run a test for particular seed?

Issue - State: closed - Opened by Yamp almost 2 years ago - 2 comments
Labels: help wanted

#276 - Add an environment variable to disable failure persistence

Issue - State: closed - Opened by JustinLovinger almost 2 years ago - 1 comment

#276 - Add an environment variable to disable failure persistence

Issue - State: closed - Opened by JustinLovinger almost 2 years ago - 1 comment

#275 - `Arbitrary` impls for `NonZero*` types

Pull Request - State: closed - Opened by cameron1024 almost 2 years ago - 3 comments

#275 - `Arbitrary` impls for `NonZero*` types

Pull Request - State: closed - Opened by cameron1024 almost 2 years ago - 3 comments

#274 - Cannot use function returning `Result<(), TestCaseError>` in `proptest!`

Issue - State: open - Opened by JustinLovinger almost 2 years ago

#274 - Cannot use function returning `Result<(), TestCaseError>` in `proptest!`

Issue - State: open - Opened by justinlovinger almost 2 years ago
Labels: quality-of-life

#273 - proptest strategy derive should take a path rather than ident

Issue - State: open - Opened by nipunn1313 about 2 years ago
Labels: feature-request

#273 - proptest strategy derive should take a path rather than ident

Issue - State: open - Opened by nipunn1313 about 2 years ago
Labels: quality-of-life

#272 - impl Arbitrary for PathBuf

Issue - State: open - Opened by nipunn1313 about 2 years ago - 1 comment
Labels: feature-request

#272 - impl Arbitrary for PathBuf

Issue - State: closed - Opened by nipunn1313 about 2 years ago - 2 comments
Labels: feature-request

#271 - how to transpose Vec<impl Strategy<T>> into impl Strategy<Vec<T>>?

Issue - State: open - Opened by dakom about 2 years ago - 3 comments
Labels: help wanted

#271 - how to transpose Vec<impl Strategy<T>> into impl Strategy<Vec<T>>?

Issue - State: open - Opened by dakom about 2 years ago - 1 comment
Labels: help wanted

#270 - Fix WebAssembly support

Pull Request - State: closed - Opened by RReverser about 2 years ago - 7 comments

#270 - Fix WebAssembly support

Pull Request - State: closed - Opened by RReverser about 2 years ago - 7 comments

#269 - Make tests pass and improve shrinking for prop_flat_map

Pull Request - State: closed - Opened by nzeh over 2 years ago - 2 comments

#269 - Make tests pass and improve shrinking for prop_flat_map

Pull Request - State: open - Opened by nzeh over 2 years ago - 1 comment

#268 - Is Proptest abandoned?

Issue - State: closed - Opened by russelldb over 2 years ago - 37 comments

#267 - fix some typos

Pull Request - State: closed - Opened by cuishuang over 2 years ago - 1 comment

#266 - Update x86 dependency.

Pull Request - State: closed - Opened by gz over 2 years ago - 1 comment

#265 - use u64 instead of u32 for max_shrink_iters

Pull Request - State: closed - Opened by kali over 2 years ago - 4 comments
Labels: 2.0-wishlist

#265 - use u64 instead of u32 for max_shrink_iters

Pull Request - State: open - Opened by kali over 2 years ago - 3 comments
Labels: 2.0-wishlist

#264 - proptest-derive: upgrade to stable proc macro ecosystem

Pull Request - State: open - Opened by benesch over 2 years ago - 1 comment

#264 - proptest-derive: upgrade to stable proc macro ecosystem

Pull Request - State: closed - Opened by benesch over 2 years ago - 1 comment

#263 - Regression file shouldn't be generated when the test is marked as `#[should_panic]`

Issue - State: open - Opened by feroldi over 2 years ago - 2 comments
Labels: bug

#263 - Regression file shouldn't be generated when the test is marked as `#[should_panic]`

Issue - State: open - Opened by feroldi over 2 years ago - 2 comments
Labels: bug

#262 - note that PROPTEST_CASES env var requires the std feature

Pull Request - State: closed - Opened by RalfJung over 2 years ago

#262 - note that PROPTEST_CASES env var requires the std feature

Pull Request - State: closed - Opened by RalfJung over 2 years ago

#261 - Alternative uniform float samplers

Pull Request - State: closed - Opened by ghost over 2 years ago - 4 comments

#261 - Alternative uniform float samplers

Pull Request - State: closed - Opened by ghost over 2 years ago - 4 comments

#260 - Fix bounds generation for generics in derive(Arbitrary)

Pull Request - State: closed - Opened by pnevyk almost 3 years ago

#259 - Use pretty printing for minimal input

Pull Request - State: closed - Opened by Andlon almost 3 years ago - 5 comments

#258 - Test failures since switch to rand 0.8

Issue - State: closed - Opened by plugwash almost 3 years ago - 5 comments

#258 - Test failures since switch to rand 0.8

Issue - State: closed - Opened by plugwash almost 3 years ago - 5 comments

#257 - [WIP] alternative state machine support

Pull Request - State: closed - Opened by tzemanovic almost 3 years ago - 19 comments

#256 - `prop_assert_ne!` requires `prop_assert!` to be imported

Issue - State: closed - Opened by TopGunSnake almost 3 years ago - 1 comment

#256 - `prop_assert_ne!` requires `prop_assert!` to be imported

Issue - State: closed - Opened by TopGunSnake almost 3 years ago - 1 comment

#255 - Allow trailing comma in prop_assert_eq/ne like std

Pull Request - State: closed - Opened by louy2 almost 3 years ago - 1 comment

#255 - Allow trailing comma in prop_assert_eq/ne like std

Pull Request - State: open - Opened by louy2 almost 3 years ago

#254 - PROPTEST_MAX_SHRINK_ITERS as u32 is too small

Issue - State: open - Opened by kali about 3 years ago
Labels: quality-of-life

#254 - PROPTEST_MAX_SHRINK_ITERS as u32 is too small

Issue - State: open - Opened by kali about 3 years ago

#253 - How to run `proptest` within `MIRI`?

Issue - State: closed - Opened by jorgecarleitao about 3 years ago - 2 comments
Labels: help wanted

#252 - Add entry in guide on how to implement `Arbitrary` (without derive)

Issue - State: closed - Opened by jorgecarleitao about 3 years ago - 2 comments

#252 - Add entry in guide on how to implement `Arbitrary` (without derive)

Issue - State: closed - Opened by jorgecarleitao about 3 years ago - 2 comments

#251 - Bug in published getting-started

Issue - State: closed - Opened by sporksmith about 3 years ago - 1 comment

#251 - Bug in published getting-started

Issue - State: open - Opened by sporksmith about 3 years ago

#250 - chore(.github/workflows): fix typo

Pull Request - State: closed - Opened by PiDelport about 3 years ago

#249 - ValueTree lives entirely on stack (stack overflow situations)

Issue - State: closed - Opened by rbtcollins about 3 years ago - 6 comments
Labels: quality-of-life

#248 - cargo test fails for partially derived Arbitrary struct with confusing error

Issue - State: closed - Opened by lake-effect about 3 years ago - 2 comments

#248 - cargo test fails for partially derived Arbitrary struct with confusing error

Issue - State: closed - Opened by lake-effect about 3 years ago - 2 comments

#247 - Can't generate values of value None?

Issue - State: closed - Opened by rbtcollins about 3 years ago - 1 comment

#247 - Can't generate values of value None?

Issue - State: closed - Opened by rbtcollins about 3 years ago - 1 comment

#246 - Panicking in call to `Uniform::new`

Issue - State: closed - Opened by ebfull over 3 years ago - 1 comment

#246 - Panicking in call to `Uniform::new`

Issue - State: closed - Opened by ebfull over 3 years ago - 1 comment

#245 - Having trouble with conditional compilation

Issue - State: closed - Opened by nathaniel-may over 3 years ago - 1 comment

#245 - Having trouble with conditional compilation

Issue - State: closed - Opened by nathaniel-may over 3 years ago - 1 comment

#244 - Arbitrary impl for OrderedFloat

Issue - State: closed - Opened by lemmih over 3 years ago - 3 comments
Labels: help-request

#244 - Arbitrary impl for OrderedFloat

Issue - State: closed - Opened by lemmih over 3 years ago - 3 comments
Labels: help-request

#243 - Use const generics to remove 32 element array size restriction

Pull Request - State: closed - Opened by jvff over 3 years ago - 3 comments

#242 - Return an error when creating a `Tree` for an empty range

Pull Request - State: open - Opened by ecstatic-morse over 3 years ago - 1 comment

#242 - Return an error when creating a `Tree` for an empty range

Pull Request - State: closed - Opened by ecstatic-morse over 3 years ago - 3 comments

#241 - Add support for PassThrough in bytes_used

Issue - State: open - Opened by ia0 over 3 years ago

#241 - Add support for PassThrough in bytes_used

Issue - State: open - Opened by ia0 over 3 years ago

#239 - Float ranges

Issue - State: closed - Opened by clarfonthey over 3 years ago - 1 comment

#238 - `bytes_regex()` only allows regexs that match valid UTF-8

Issue - State: closed - Opened by hkratz over 3 years ago - 2 comments
Labels: duplicate

#235 - WIP/POC: num-bigint support

Pull Request - State: closed - Opened by clarfonthey over 3 years ago - 4 comments

#235 - WIP/POC: num-bigint support

Pull Request - State: open - Opened by clarfonthey over 3 years ago - 3 comments

#234 - Add Config::with_failure_persistence

Pull Request - State: closed - Opened by mzabaluev over 3 years ago - 2 comments

#234 - Add Config::with_failure_persistence

Pull Request - State: closed - Opened by mzabaluev over 3 years ago - 2 comments

#233 - More robust default FailurePersistence behavior in integration-style tests

Issue - State: open - Opened by mzabaluev over 3 years ago - 3 comments
Labels: quality-of-life

#229 - proptest-derive fails to derive Arbitrary for a recusrive type

Issue - State: open - Opened by vi over 3 years ago - 4 comments
Labels: feature-request

#226 - Add support for u128/i128 in wasm32

Issue - State: open - Opened by calebzulawski over 3 years ago - 1 comment
Labels: feature-request

#225 - Question: How to add additional shrinks to existing strategy?

Issue - State: open - Opened by turion almost 4 years ago - 1 comment
Labels: help-request

#225 - Question: How to add additional shrinks to existing strategy?

Issue - State: open - Opened by turion almost 4 years ago - 1 comment
Labels: help-request

#222 - `BigInt` and `BigUint` support (from `num-bigint` crate under a feature flag)

Issue - State: open - Opened by futpib almost 4 years ago
Labels: feature-request

#222 - `BigInt` and `BigUint` support (from `num-bigint` crate under a feature flag)

Issue - State: open - Opened by futpib almost 4 years ago
Labels: feature-request

#221 - `arbitrary!(Duration)` panics for some inputs.

Issue - State: open - Opened by dhobsd almost 4 years ago - 2 comments
Labels: bug

#219 - Suggestions for how to proptest across const generic types?

Issue - State: open - Opened by shepmaster almost 4 years ago - 2 comments
Labels: feature-request

#219 - Suggestions for how to proptest across const generic types?

Issue - State: open - Opened by shepmaster almost 4 years ago - 1 comment

#218 - Minor: book is not mentioned anywhere in README or the github page

Issue - State: closed - Opened by aldanor almost 4 years ago - 2 comments

#214 - Non shrinkable elements and arbitrary crate?

Issue - State: open - Opened by dirvine about 4 years ago
Labels: help-request

#205 - Add ability to generate generic strategies using `prop_compose!` macro

Issue - State: open - Opened by ciuncan about 4 years ago
Labels: feature-request

#203 - generated Vec's capacity information is lost

Issue - State: open - Opened by schneiderlin over 4 years ago - 1 comment
Labels: bug

#201 - feature request: recording RNG calls for fuzzing corpus

Issue - State: open - Opened by mimoo over 4 years ago - 1 comment
Labels: feature-request

#201 - feature request: recording RNG calls for fuzzing corpus

Issue - State: open - Opened by mimoo over 4 years ago - 1 comment
Labels: feature-request

#197 - Cannot derive arbitrary for struct with more than 10 members (?)

Issue - State: open - Opened by psychon over 4 years ago - 2 comments

#185 - Add support for async fn in proptest!

Pull Request - State: closed - Opened by johnchildren over 4 years ago - 12 comments

#179 - proptest! macro doesn't play nice with tokio::test

Issue - State: open - Opened by znewman01 over 4 years ago - 4 comments

#179 - proptest! macro doesn't play nice with tokio::test

Issue - State: open - Opened by znewman01 over 4 years ago - 4 comments

#172 - Recursion data error

Issue - State: open - Opened by kgtkr about 5 years ago - 1 comment
Labels: bug

#172 - Recursion data error

Issue - State: open - Opened by kgtkr about 5 years ago - 1 comment
Labels: bug

#166 - WIP implementation of proptest-attributes

Pull Request - State: closed - Opened by davidbarsky about 5 years ago - 2 comments

#166 - WIP implementation of proptest-attributes

Pull Request - State: closed - Opened by davidbarsky about 5 years ago - 2 comments

#161 - Idea: Provide print/dbg macros that only print values of minimal examples

Issue - State: open - Opened by Andlon over 5 years ago - 3 comments
Labels: feature-request

GitHub / proptest-rs/proptest issues and pull requests