Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / proptest-rs/proptest issues and pull requests
#450 - Don't require `Arbitrary::Parameters` to implement `Default`
Issue -
State: open - Opened by mirandaconrado 6 months ago
- 4 comments
Labels: 2.0-wishlist, quality-of-life
#450 - Don't require `Arbitrary::Parameters` to implement `Default`
Issue -
State: open - Opened by mirandaconrado 6 months ago
- 3 comments
Labels: 2.0-wishlist
#449 - Panic on empty ranges during strategy creation
Issue -
State: open - Opened by mirandaconrado 6 months ago
#449 - Panic on empty ranges during strategy creation
Issue -
State: open - Opened by mirandaconrado 6 months ago
#449 - Panic on empty ranges during strategy creation
Issue -
State: closed - Opened by mirandaconrado 6 months ago
- 3 comments
Labels: quality-of-life
#448 - Update "shrinks to" comment on the same seed failures
Issue -
State: open - Opened by AzimMuradov 6 months ago
- 1 comment
Labels: quality-of-life
#447 - proptest_derive triggers non-local impl nightly warning
Issue -
State: open - Opened by HadrienG2 7 months ago
- 1 comment
Labels: quality-of-life
#446 - Finite state machines
Issue -
State: open - Opened by mirosval 7 months ago
- 1 comment
#445 - Zero Examples of `impl Arbitrary` ?
Issue -
State: open - Opened by bionicles 7 months ago
- 3 comments
Labels: documentation
#444 - rust-analyzer doesn't like the derive(Arbitrary) generated code for enums
Issue -
State: closed - Opened by avandecreme 7 months ago
- 1 comment
#443 - The type 'EasyCashIdentity.EntityLayer.Concrete.AppUser' cannot be used as type parameter
Issue -
State: closed - Opened by arpaci27 7 months ago
#442 - First-class support for async functions
Issue -
State: open - Opened by matthew-russo 7 months ago
- 1 comment
Labels: feature-request, 2.0-wishlist
#441 - Fast replay without needing to serialize the value
Issue -
State: open - Opened by vlovich 7 months ago
#441 - Fast replay without needing to serialize the value
Issue -
State: open - Opened by vlovich 7 months ago
#440 - Recommendation to check in proptest regressions seems off
Issue -
State: open - Opened by vlovich 7 months ago
- 2 comments
Labels: documentation
#440 - Recommendation to check in proptest regressions seems off
Issue -
State: open - Opened by vlovich 7 months ago
- 2 comments
Labels: documentation
#439 - Persistence only written at program exit
Issue -
State: open - Opened by vlovich 7 months ago
- 2 comments
Labels: feature-request
#439 - Persistence only written at program exit
Issue -
State: open - Opened by vlovich 7 months ago
- 2 comments
Labels: feature-request
#438 - The order of deducing values for test runner config seems off
Issue -
State: open - Opened by target-san 7 months ago
#437 - Nested `proptest!{}`'s cause run time to rise exponentially
Issue -
State: open - Opened by target-san 7 months ago
- 2 comments
Labels: help-request
#436 - Failed test percentage
Issue -
State: open - Opened by pashadia 7 months ago
- 1 comment
Labels: feature-request
#435 - state machine: prep for minor release v0.3.0
Pull Request -
State: closed - Opened by tzemanovic 7 months ago
#434 - Delete unseen transitions in state machine test - squashed fixups
Pull Request -
State: closed - Opened by tzemanovic 8 months ago
#433 - chore: fix some typos
Pull Request -
State: closed - Opened by tgolang 8 months ago
#432 - Use `array::from_fn` instead of `unarray::build_array`
Pull Request -
State: closed - Opened by DaniPopes 8 months ago
#431 - Example of using external "faking"?
Issue -
State: closed - Opened by cylewitruk 8 months ago
- 3 comments
Labels: help-request
#430 - Using `prop_oneof` with a `cfg` guard results in compile errors
Issue -
State: open - Opened by bruceg 8 months ago
Labels: bug
#429 - Fix feature = "cargo-clippy" deprecation
Pull Request -
State: closed - Opened by rex4539 8 months ago
- 1 comment
#428 - Test f{32,64}_any_generates_desired_values failed on riscv64
Issue -
State: open - Opened by milkice233 8 months ago
#428 - Test f{32,64}_any_generates_desired_values failed on riscv64
Issue -
State: open - Opened by milkice233 8 months ago
Labels: bug
#427 - fix: use anon-const for wrapping expanded impls
Pull Request -
State: closed - Opened by shekhirin 8 months ago
- 6 comments
#427 - fix: use anon-const for wrapping expanded impls
Pull Request -
State: closed - Opened by shekhirin 8 months ago
- 4 comments
#427 - fix: use anon-const for wrapping expanded impls
Pull Request -
State: open - Opened by shekhirin 8 months ago
- 3 comments
#426 - [Fix] Derive : fix compiletest
Pull Request -
State: closed - Opened by matthew-russo 9 months ago
#425 - [Fix] fix clippies
Pull Request -
State: closed - Opened by matthew-russo 9 months ago
#424 - [Fix] Config : don't clobber existing failure-persistence config during contextualization
Pull Request -
State: closed - Opened by matthew-russo 9 months ago
- 3 comments
#423 - Unable to set `failure_persistence` using `#![proptest_config]`
Issue -
State: closed - Opened by mauricelam 9 months ago
- 1 comment
Labels: bug
#422 - cleanup some compiler warnings/errors
Pull Request -
State: closed - Opened by rexmas 9 months ago
#421 - Add features `handle-panics` and `backtrace`
Pull Request -
State: closed - Opened by target-san 9 months ago
- 7 comments
Labels: 2.0-wishlist
#420 - Fix hygiene issues with prop_state_machine macro
Pull Request -
State: closed - Opened by timstobal 10 months ago
#419 - Add features `handle-panics` and `backtrace`
Pull Request -
State: closed - Opened by target-san 10 months ago
#419 - Add features `handle-panics` and `backtrace`
Pull Request -
State: open - Opened by target-san 10 months ago
#418 - Fix re-complication of initial state
Pull Request -
State: closed - Opened by timstobal 10 months ago
#417 - Dependencies : upgrade syn to 2.x
Pull Request -
State: closed - Opened by matthew-russo 10 months ago
#416 - Fix : fix nightly
Pull Request -
State: closed - Opened by matthew-russo 10 months ago
#415 - Fix nightly
Pull Request -
State: closed - Opened by matthew-russo 10 months ago
#414 - Dependencies : upgrade syn to 2.x
Pull Request -
State: closed - Opened by matthew-russo 10 months ago
- 2 comments
#413 - Update syn requirement from 1.0.0 to 2.0.48
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
- 1 comment
Labels: dependencies
#412 - Update syn requirement from 1.0.0 to 2.0.47
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
- 1 comment
Labels: dependencies
#411 - Update syn requirement from 1.0.0 to 2.0.46
Pull Request -
State: open - Opened by dependabot[bot] 10 months ago
Labels: dependencies
#411 - Update syn requirement from 1.0.0 to 2.0.46
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
- 1 comment
Labels: dependencies
#410 - Update syn requirement from 1.0.0 to 2.0.45
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
- 1 comment
Labels: dependencies
#409 - Update syn requirement from 1.0.0 to 2.0.44
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
- 1 comment
Labels: dependencies
#408 - Update syn requirement from 1.0.0 to 2.0.43
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
- 1 comment
Labels: dependencies
#407 - Update CHANGELOG.md
Pull Request -
State: closed - Opened by rexmas 10 months ago
#406 - add boxed union feature to circumvent stack overflow
Pull Request -
State: closed - Opened by rexmas 10 months ago
- 2 comments
#405 - Update syn requirement from 1.0.0 to 2.0.42
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 1 comment
Labels: dependencies
#404 - Update syn requirement from 1.0.0 to 2.0.41
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 1 comment
Labels: dependencies
#403 - Update syn requirement from 1.0.0 to 2.0.40
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 1 comment
Labels: dependencies
#402 - feature request: provide analysis of the transition generation
Issue -
State: open - Opened by define-null 11 months ago
- 2 comments
Labels: feature-request
#401 - state-machine: prep for a minor release
Pull Request -
State: closed - Opened by tzemanovic 11 months ago
#400 - Jkosh44/pull master
Pull Request -
State: closed - Opened by jkosh44 12 months ago
- 1 comment
#399 - Allow `BoxedStrategy` to have lifetime shorter than `'static`
Issue -
State: open - Opened by poscat0x04 12 months ago
- 3 comments
Labels: feature-request
#398 - Help request: How to emit MIR of proptest
Issue -
State: closed - Opened by dkcumming 12 months ago
- 2 comments
#397 - [Release] 1.4.0 : adds missing changelog entries
Pull Request -
State: closed - Opened by matthew-russo 12 months ago
#396 - Add iterative runner
Pull Request -
State: closed - Opened by define-null 12 months ago
- 2 comments
#395 - How do I avoid extermely lengthy console outputs when working with large byte vectors?
Issue -
State: open - Opened by vi 12 months ago
- 1 comment
Labels: help-request, quality-of-life
#394 - Update syn requirement from 1.0.0 to 2.0.39
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
- 1 comment
Labels: dependencies
#393 - fix compile fail test: must be debug
Pull Request -
State: closed - Opened by tzemanovic 12 months ago
#392 - state-machine: don't limit number of transitions that can be deleted in shrinking
Pull Request -
State: closed - Opened by tzemanovic 12 months ago
#391 - Enabling Cloning for BoxedStrategy::Tree with dyn-clone
Issue -
State: open - Opened by Wybxc 12 months ago
- 1 comment
Labels: feature-request
#390 - How to achieve consistent code coverage?
Issue -
State: closed - Opened by CBenoit about 1 year ago
- 2 comments
Labels: help-request
#389 - fix nightly build
Pull Request -
State: closed - Opened by tzemanovic about 1 year ago
#388 - Delete unseen transitions in state machine test
Pull Request -
State: closed - Opened by henriiik about 1 year ago
- 6 comments
#387 - Random Shrinking in state machine tests
Issue -
State: closed - Opened by henriiik about 1 year ago
- 4 comments
Labels: feature-request
#386 - Update regex-syntax requirement from 0.7 to 0.8
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 4 comments
Labels: dependencies
#385 - Update syn requirement from 1.0.0 to 2.0.38
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#384 - Update message-io requirement from 0.17.0 to 0.18.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies
#383 - Update compiletest_rs requirement from 0.9 to 0.10
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies
#382 - Build : updates MSRV to 1.65 and update CI to use rust 1.65
Pull Request -
State: closed - Opened by matthew-russo about 1 year ago
- 1 comment
#381 - Depend on regex-syntax 0.7 or 0.8
Pull Request -
State: closed - Opened by sjackman about 1 year ago
- 6 comments
#380 - Enable Dependabot
Pull Request -
State: closed - Opened by sjackman about 1 year ago
#379 - Update regex-syntax to 0.8
Issue -
State: closed - Opened by JustusFluegel about 1 year ago
- 1 comment
#378 - Provide possibility to perform state machine testing with model that is aware of the system under test
Issue -
State: open - Opened by define-null about 1 year ago
- 1 comment
Labels: feature-request
#377 - Fix prop_state_machine cannot find value `config`
Pull Request -
State: closed - Opened by sameer about 1 year ago
- 2 comments
#376 - Follow new lint rule in macro generation
Pull Request -
State: closed - Opened by hamiltop about 1 year ago
#375 - [Release] 1.3.1 -- fix for incompatible bit-set/bit-vec versions
Pull Request -
State: closed - Opened by matthew-russo about 1 year ago
#374 - Compilation error with bit-set 0.5.0
Issue -
State: closed - Opened by frozenlib about 1 year ago
- 2 comments
#373 - [Release] 1.3.0
Pull Request -
State: closed - Opened by matthew-russo about 1 year ago
#372 - declaring necessary `proptest` for any implementation of a trait
Issue -
State: open - Opened by yatesco about 1 year ago
- 4 comments
#371 - proptest! macro generates clippy warnings
Issue -
State: closed - Opened by SUPERCILEX about 1 year ago
- 3 comments
#370 - cargo fmt broken within proptest macro?
Issue -
State: closed - Opened by vlovich about 1 year ago
- 5 comments
#369 - Add edge bias feature to bias for testing edge cases.
Pull Request -
State: closed - Opened by ajantti about 1 year ago
- 1 comment
#368 - Add PathBuf Arbitrary impl with tests
Pull Request -
State: closed - Opened by sunshowers about 1 year ago
- 2 comments
#367 - Book tips and best practices
Pull Request -
State: closed - Opened by hamiltop about 1 year ago
- 2 comments
#366 - Release proptest-derive 0.4.0?
Issue -
State: closed - Opened by messense about 1 year ago
- 2 comments
#365 - [proptest-derive] disable clippy::arc_with_non_send_sync
Pull Request -
State: closed - Opened by sunshowers about 1 year ago
#365 - [proptest-derive] disable clippy::arc_with_non_send_sync
Pull Request -
State: open - Opened by sunshowers about 1 year ago
#364 - Proptest with Rust 1.72 produces clippy::arc_with_non_send_sync warnings
Issue -
State: open - Opened by sunshowers about 1 year ago
#364 - Proptest with Rust 1.72 produces clippy::arc_with_non_send_sync warnings
Issue -
State: closed - Opened by sunshowers about 1 year ago
- 1 comment