Commit graph

4 commits

Author SHA1 Message Date
Developer
8a9ff9aa5a fix: factor out features into a crate 2026-02-13 14:09:48 +07:00
Developer
9b1518b46c feat: property-based testing and extended fuzz targets (Cycle 11)
Add proptest-state-machine for stateful property testing of the runtime,
covering FIFO ordering, budget fairness, timer correctness, mailbox bounds,
and spawn tracking. Extend cargo-fuzz with stop, restart, and timer actions.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
2026-02-12 12:57:44 +00:00
09504d0b67 cfuzz (#22) 2026-02-09 07:24:16 +00:00
b828ff0fae feat: fuzz-harness (#20) 2026-02-07 18:30:22 +00:00