readysettech / proptest-statefulLinks
Library for building stateful property tests using the proptest crate
☆26Updated 3 months ago
Alternatives and similar repositories for proptest-stateful
Users that are interested in proptest-stateful are comparing it to the libraries listed below
Sorting:
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Wraps around a futures::Spawn and adds diagnostics to it☆32Updated 5 years ago
- A minimalist property-based testing library☆122Updated 8 months ago
- madsim-inspired determinism for turmoil-based simulation tests☆50Updated 2 weeks ago
- Human-friendly indexed collections☆56Updated 3 months ago
- 🎶 Choreographic programming in Rust 🎶☆64Updated 10 months ago
- Stack safe and expressive recursion in Rust☆105Updated 7 months ago
- Optics library for rust☆50Updated 3 months ago
- Ergonomic Type Diffs☆67Updated 3 months ago
- View tokio tracing JSON logs interactively and with proper hierarchies☆22Updated last week
- Lift enum variants to the type-level.☆32Updated 4 years ago
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆67Updated this week
- Memory validation framework for Rust☆75Updated 3 months ago
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆32Updated last year
- Experimental type level programming in Rust☆41Updated 4 years ago
- Alternative future adapters that provide cancel safety.☆80Updated last week
- Transport-polymorphic, asynchronous session types for Rust☆64Updated 3 years ago
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Updated last year
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 3 years ago
- Transitive derive macros for Rust☆34Updated 7 months ago
- Serde Visitor for deserializing untagged enums☆69Updated last month
- Build a rustc sysroot with custom flags☆18Updated 2 months ago
- ☆49Updated 7 months ago
- pid1 handling library for proper signal and zombie reaping of the PID1 process☆40Updated 6 months ago
- exhaustive testing library☆66Updated last year
- ☆28Updated 5 years ago
- trigger io::Error's in test, and annotate their source☆31Updated 2 years ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- An experimental columnar arena☆43Updated last year
- Simple refinement types for Rust; parse, don't validate!☆76Updated 2 months ago