Issues

• proptest-state-machine: sequential size range that can sample 0 panics (max_size - 1 underflow)

  proptest-rs/proptest#671 · Filter by author oskarhane opened on Oct 6, 2026

• Forked or timed-out test never reports a persisted failure seed that still fails

  proptest-rs/proptest#667 · Filter by author toddATavail opened on Sep 26, 2026

• feature request: a per-test-case observer hook in TestRunner

  proptest-rs/proptest#666 · Filter by author niMgnoeSeeL opened on Sep 25, 2026
  1

• Support building proptest-state-machine on webassembly

  feature-request
  proptest-rs/proptest#660 · Filter by author kawadakk opened on Jul 22, 2026
  1

• Allow #[derive(Arbitrary)] to have strategy as SBoxedStrategy or BoxedStrategy

  feature-request
  proptest-rs/proptest#656 · Filter by author adityashah1212 opened on Jul 9, 2026

• feature request: run tests for a certain duration

  feature-request
  Feature

  proptest-rs/proptest#655 · Filter by author ongardie-atomix opened on Jul 2, 2026
  1

• Arbitrary derive helper should not require stringified inputs

  quality-of-life
  proptest-rs/proptest#654 · Filter by author Veykril opened on Jul 1, 2026

• Soundness: Data Race on static mut DEFAULT_HOOK During Panic Hook Initialization

  proptest-rs/proptest#648 · Filter by author Manishearth opened on Jun 20, 2026
  2

• Feature: allow generating a single seed based value

  proptest-rs/proptest#642 · Filter by author Aderinom opened on Apr 14, 2026
  2

• prop_recursive's docs are confusing about which type is provided to the closure

  proptest-rs/proptest#634 · Filter by author shepmaster opened on Feb 20, 2026

• TupleUnion docs are confusing

  proptest-rs/proptest#633 · Filter by author shepmaster opened on Feb 20, 2026

• Arbitrary for NonZeroU128 and NonZeroI128 on wasm32

  proptest-rs/proptest#628 · Filter by author cuviper opened on Feb 8, 2026

• [proptest-derive] warning about non_upper_case_globals

  proptest-rs/proptest#620 · Filter by author NthPortal opened on Jan 14, 2026

• Source spans lost in strategies when using property_test attribute macro

  proptest-rs/proptest#617 · Filter by author zopsicle opened on Dec 5, 2025
  1

• Type inference doesn't propagate to range strategies

  proptest-rs/proptest#590 · Filter by author TomFryersMidsummer opened on Aug 4, 2025

• Derive with custom strategy and generic type

  proptest-rs/proptest#587 · Filter by author avandecreme opened on Jul 7, 2025

• How to perturb exactly one field in a struct?

  proptest-rs/proptest#572 · Filter by author djoyner opened on May 19, 2025

• Add a way to save and load fully-shrunk test cases

  proptest-rs/proptest#564 · Filter by author apodolsk opened on Apr 23, 2025

• proptest_derive: add #[proptest(default)]

  proptest-rs/proptest#561 · Filter by author lolbinarycat opened on Apr 10, 2025

• Add a dedicated docs section for proptest configuration options

  proptest-rs/proptest#559 · Filter by author radubahmata opened on Apr 8, 2025

• Add PROPTEST_RNG_SEED to the output file on failure

  proptest-rs/proptest#556 · Filter by author radubahmata opened on Mar 24, 2025
  10

• Update proptest to depend on rand 0.9

  dependencies
  Task

  proptest-rs/proptest#553 · Filter by author nresare opened on Mar 2, 2025
  5

• How to solve trait action::_::_proptest::strategy::Strategy is not implemented for std::ops::Range<time::Timestamp>,

  proptest-rs/proptest#547 · Filter by author dzmitry-lahoda opened on Feb 10, 2025
  1

• Support println debugging scoped to shrunk failure case

  quality-of-life
  proptest-rs/proptest#541 · Filter by author YourFin opened on Dec 20, 2024
  1

• Collect List of Projects using proptest

  proptest-rs/proptest#537 · Filter by author jgarte opened on Dec 11, 2024
  1