proptest-rs/proptest issues and pull requests

#530 - adds support for re-exporting crate

Pull Request - State: open - Opened by colstrom 8 days ago

#529 - Update trybuild requirement from =1.0.0 to =1.0.101

Pull Request - State: open - Opened by dependabot[bot] 11 days ago
Labels: dependencies

#528 - add no_std to alloc contexts

Pull Request - State: open - Opened by rexmas 15 days ago

#527 - Update trybuild requirement from =1.0.0 to =1.0.100

Pull Request - State: closed - Opened by dependabot[bot] 17 days ago - 1 comment
Labels: dependencies

#526 - Add feature `backtrace`

Pull Request - State: open - Opened by target-san 25 days ago

#525 - Add feature `handle-panics`

Pull Request - State: open - Opened by target-san 27 days ago

#524 - Make libm optional in a std environment

Pull Request - State: closed - Opened by matthew-russo about 1 month ago

#523 - [proptest-macro] add the ability to specify custom strategies

Pull Request - State: open - Opened by matthew-russo about 1 month ago

#522 - [proptest] Implement is_minimal_case

Pull Request - State: open - Opened by matthew-russo about 1 month ago

#521 - feat: add possibility to interrupt running test

Pull Request - State: open - Opened by matthew-russo about 1 month ago

#521 - feat: add possibility to interrupt running test

Pull Request - State: open - Opened by matthew-russo about 1 month ago

#520 - Exit early if shrink disabled

Pull Request - State: closed - Opened by matthew-russo about 1 month ago

#520 - Exit early if shrink disabled

Pull Request - State: closed - Opened by matthew-russo about 1 month ago

#519 - 458 fix wasm

Pull Request - State: open - Opened by matthew-russo about 1 month ago - 1 comment

#518 - [proptes] config: properly read environment

Pull Request - State: open - Opened by matthew-russo about 1 month ago

#518 - [proptes] config: properly read environment

Pull Request - State: open - Opened by matthew-russo about 1 month ago

#517 - [proptest] Minimal implementation of interceptor for excessive panics outputs

Pull Request - State: open - Opened by matthew-russo about 1 month ago - 2 comments

#517 - [proptest] Minimal implementation of interceptor for excessive panics outputs

Pull Request - State: open - Opened by matthew-russo about 1 month ago

#516 - Add iterative runner

Pull Request - State: open - Opened by matthew-russo about 1 month ago

#516 - Add iterative runner

Pull Request - State: open - Opened by matthew-russo about 1 month ago

#515 - Add edge bias feature to bias for testing edge cases.

Pull Request - State: open - Opened by matthew-russo about 1 month ago

#514 - [book] document example of manual arbitrary impl

Pull Request - State: closed - Opened by matthew-russo about 1 month ago - 1 comment

#513 - 269 improve shrinking prop flat map

Pull Request - State: open - Opened by matthew-russo about 1 month ago

#513 - 269 improve shrinking prop flat map

Pull Request - State: open - Opened by matthew-russo about 1 month ago

#512 - 265 max shrink iters u32

Pull Request - State: open - Opened by matthew-russo about 1 month ago

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

Pull Request - State: closed - Opened by matthew-russo about 1 month ago

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

Pull Request - State: closed - Opened by matthew-russo about 1 month ago

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

Pull Request - State: open - Opened by matthew-russo about 1 month ago

#509 - 243 const generic array size

Pull Request - State: closed - Opened by matthew-russo about 1 month ago

#509 - 243 const generic array size

Pull Request - State: closed - Opened by matthew-russo about 1 month ago

#508 - 234 config with failure persistence

Pull Request - State: closed - Opened by matthew-russo about 1 month ago

#508 - 234 config with failure persistence

Pull Request - State: open - Opened by matthew-russo about 1 month ago

#507 - [proptest] [2.x] Relax conversions into TestCaseError to support more use cases

Issue - State: open - Opened by matthew-russo about 1 month ago
Labels: 2.0-wishlist

#507 - [proptest] [2.x] Relax conversions into TestCaseError to support more use cases

Issue - State: open - Opened by matthew-russo about 1 month ago
Labels: 2.0-wishlist

#506 - feat: introduce `Sequential::new`

Pull Request - State: closed - Opened by thomaseizinger about 1 month ago - 1 comment

#506 - feat: introduce `Sequential::new`

Pull Request - State: closed - Opened by thomaseizinger about 1 month ago - 1 comment

#505 - [Book] Derive : update proptest-derive to avoid talking about GATs andd just refer users to the issue tracker for Strategies of non-owned types

Pull Request - State: closed - Opened by matthew-russo about 1 month ago

#505 - [Book] Derive : update proptest-derive to avoid talking about GATs andd just refer users to the issue tracker for Strategies of non-owned types

Pull Request - State: closed - Opened by matthew-russo about 1 month ago

#504 - Improve edge case testing

Issue - State: open - Opened by PSeitz about 1 month ago - 2 comments
Labels: feature-request

#504 - Improve edge case testing

Issue - State: open - Opened by PSeitz about 1 month ago - 2 comments
Labels: feature-request

#503 - Book: Outdated info about GATs

Issue - State: closed - Opened by Arjentix about 1 month ago
Labels: documentation

#502 - How to use prop_assert_eq in a helper test function?

Issue - State: closed - Opened by incertia about 2 months ago

#502 - How to use prop_assert_eq in a helper test function?

Issue - State: closed - Opened by incertia about 2 months ago - 1 comment
Labels: help-request

#501 - build(deps): Update `bit-set` and `bit-vec` to 0.8.0

Pull Request - State: closed - Opened by caspermeijn about 2 months ago

#500 - Proptest fails to find trivial failing example (but Hypothesis does)

Issue - State: open - Opened by MaxG87 2 months ago

#499 - Make libm optional in a std environment

Pull Request - State: closed - Opened by bantonsson 2 months ago - 1 comment

#498 - remove unused 'frunk' feature and add From's for SizeRange and Probability

Pull Request - State: closed - Opened by matthew-russo 2 months ago

#497 - Support live visualizations with Tyche, via the `OpenPBTStats` log format?

Issue - State: open - Opened by Zac-HD 2 months ago - 1 comment
Labels: quality-of-life

#496 - feat: run most recently added regression first

Pull Request - State: closed - Opened by thomaseizinger 2 months ago

#495 - Run regression tests in reverse order

Issue - State: closed - Opened by thomaseizinger 2 months ago

#494 - Deprecate `hash_map` and `hash_set` strategies?

Issue - State: open - Opened by thomaseizinger 3 months ago
Labels: feature-request

#493 - feat: introduce `Sequential::new`

Pull Request - State: closed - Opened by thomaseizinger 3 months ago - 2 comments

#492 - How to convert `SizeRange` to a regular `Range`?

Issue - State: closed - Opened by cospectrum 3 months ago - 2 comments
Labels: quality-of-life

#491 - docs: Stragegy -> Strategy in rustdoc for Union

Pull Request - State: closed - Opened by benjaminedwardwebb 3 months ago

#491 - docs: Stragegy -> Strategy in rustdoc for Union

Pull Request - State: closed - Opened by benjaminedwardwebb 3 months ago

#491 - docs: Stragegy -> Strategy in rustdoc for Union

Pull Request - State: closed - Opened by benjaminedwardwebb 3 months ago

#490 - Update trybuild requirement from =1.0.0 to =1.0.99

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 1 comment
Labels: dependencies

#489 - Const generics - Known issues doc comment

Issue - State: open - Opened by yancyribbens 3 months ago
Labels: documentation

#488 - `StateMachineTest`'s `apply` method should use the current state, not the next state.

Issue - State: open - Opened by liarokapisv 3 months ago
Labels: quality-of-life

#487 - Update trybuild requirement from =1.0.0 to =1.0.98

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 1 comment
Labels: dependencies

#486 - Update bit-vec requirement from 0.6.0 to 0.8.0

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 4 comments
Labels: dependencies

#485 - Update bit-set requirement from 0.5.2 to 0.8.0

Pull Request - State: open - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies

#484 - Proptest logging

Issue - State: open - Opened by Limeth 4 months ago

#483 - The ` state_machine_echo_server` example does not compile

Issue - State: closed - Opened by Tudyx 4 months ago - 2 comments
Labels: bug

#482 - fix: check preconditions on correct state

Pull Request - State: closed - Opened by thomaseizinger 4 months ago - 3 comments

#481 - Improve logging for state machine testing

Issue - State: open - Opened by thomaseizinger 4 months ago
Labels: quality-of-life

#480 - Update trybuild requirement from =1.0.0 to =1.0.97

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies

#479 - RangeInclusive of floats containing one element panics

Issue - State: open - Opened by uzytkownik 4 months ago
Labels: bug

#478 - custom strategies in attribute macro

Pull Request - State: closed - Opened by cameron1024 4 months ago - 1 comment

#477 - Implement is_minimal_case

Pull Request - State: closed - Opened by Andlon 4 months ago - 2 comments

#476 - add doc comment to attr macro. Fixes #473

Pull Request - State: closed - Opened by rexmas 4 months ago - 1 comment

#475 - Lift MSRV to 1.70 to relax dependency on trybuild

Issue - State: open - Opened by nc7s 4 months ago

#474 - Update bit-set requirement from 0.5.2 to 0.6.0

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies

#473 - Attribute macro #[property_test] available in docs, but undocumented and behind undocumented feature

Issue - State: closed - Opened by Andlon 4 months ago - 1 comment

#472 - Update bit-vec requirement from 0.6.0 to 0.7.0

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies

#471 - chore: fix some comments

Pull Request - State: closed - Opened by dashangcun 4 months ago - 1 comment

#470 - [proptest] [Fix] Manifest : specify proptest-macro version

Pull Request - State: closed - Opened by matthew-russo 4 months ago

#469 - [proptest-macro] [Fix] Manifest : add metadata required to publish, copied from core proptest crate

Pull Request - State: open - Opened by matthew-russo 4 months ago

#469 - [proptest-macro] [Fix] Manifest : add metadata required to publish, copied from core proptest crate

Pull Request - State: open - Opened by matthew-russo 4 months ago

#469 - [proptest-macro] [Fix] Manifest : add metadata required to publish, copied from core proptest crate

Pull Request - State: closed - Opened by matthew-russo 4 months ago

#468 - Book : update book to cover all newly added components and standardize structure of documenting crates individually

Pull Request - State: closed - Opened by matthew-russo 5 months ago

GitHub / proptest-rs/proptest issues and pull requests