readysettech / proptest-statefulLinks
Library for building stateful property tests using the proptest crate
☆24Updated last month
Alternatives and similar repositories for proptest-stateful
Users that are interested in proptest-stateful are comparing it to the libraries listed below
Sorting:
- trigger io::Error's in test, and annotate their source☆30Updated last year
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆64Updated last week
- Human-friendly indexed collections☆53Updated last month
- zero-g git.☆39Updated last year
- atomalloc is an asynchronous, atomic, and lock-free memory allocator written in pure safe Rust☆29Updated 4 months ago
- ☆11Updated 9 months ago
- Wraps around a futures::Spawn and adds diagnostics to it☆32Updated 5 years ago
- An experimental columnar arena☆43Updated 8 months ago
- Memory validation framework for Rust☆68Updated 5 months ago
- A minimalist property-based testing library☆110Updated 2 months ago
- Alternative future adapters that provide cancel safety.☆65Updated last week
- 🎶 Choreographic programming in Rust 🎶☆58Updated 4 months ago
- Serde Visitor for deserializing untagged enums☆64Updated last week
- Rust library that provides helpers for testing resilience of I/O operations.☆32Updated 2 years ago
- madsim-inspired determinism for turmoil-based simulation tests☆44Updated 3 months ago
- model testing sugar for testing interactions on structures over time☆27Updated 5 years ago
- Efficient sampling with uniform probability☆31Updated 3 years ago
- Experimenting with Rust's fundamental data model☆52Updated last week
- ☆48Updated last month
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆39Updated 10 months ago
- Multi-source configuration library for Rust.☆38Updated last week
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆33Updated last year
- Ergonomic Type Diffs☆60Updated 2 weeks ago
- ☆35Updated 5 months ago
- Thread-unsafe async runtime☆28Updated 8 months ago
- ☆19Updated 2 years ago
- high-efficiency concurrent reclamation☆35Updated 10 months ago
- A Result type that differentiates between local errors (which can be handled) and fatal errors (which can't)☆15Updated 3 years ago
- small distributed database protocol☆31Updated 4 years ago
- An unordered multiset/bag implementation backed by HashMap☆67Updated 4 months ago