cockroachdb / cockroachdb/cockroach
asim: extend randomized testing to cycle through liveness states
Open
A-kv-distribution
A-kv-simulation
C-enhancement
T-kv
- Dominant language
- Go
- Stars
- 32.5k
- Forks
- 4.1k
- PR merge metrics
- PR metrics pending
Description
**Is your feature request related to a problem? Please describe.**
We have recently discovered bugs in the constraint satisfaction logic which would cause nodes to stall decommissioning #117886. This bug could have been caught via cycling through liveness states (just decommissioning, decommissioned and live) and combining simple constraints.
**Describe the solution you'd like**
Extend `rand_framework` in the `asim` package to include events for transitioning liveness states and enable these in testing.
Jira issue: CRDB-35548
Contributor guide
Assessment
This issue has not been assessed yet.