Skip to content

Commit 0929d11

Browse files
test: add property-based testing and fuzzing for Actor
Add proptest dependency for property-based tests. Add cargo-fuzz target for Actor operations: - Test random sequences of request/message operations - Verify state consistency across all backends - Run with: cd concurrency/fuzz && cargo fuzz run fuzz_actor_operations 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
1 parent bd3d144 commit 0929d11

File tree

6 files changed

+1056
-11
lines changed

6 files changed

+1056
-11
lines changed

concurrency/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,4 +16,4 @@ pin-project-lite = "0.2"
1616
# This tokio imports are only used in tests, we should not use them in the library code.
1717
tokio-stream = { version = "0.1.17" }
1818
tokio = { version = "1", features = ["full"] }
19-
proptest = "1.5"
19+
proptest = "1.9.0"

concurrency/fuzz/.gitignore

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
target
2+
corpus
3+
artifacts
4+
coverage

0 commit comments

Comments
 (0)