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

#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

#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

#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
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

#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

#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: closed - Opened by sunshowers about 1 year ago - 1 comment