Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

metamorphic: allow single deletes after range deletes #3107

Closed
Tracked by #2825
jbowens opened this issue Nov 27, 2023 · 0 comments
Closed
Tracked by #2825

metamorphic: allow single deletes after range deletes #3107

jbowens opened this issue Nov 27, 2023 · 0 comments

Comments

@jbowens
Copy link
Collaborator

jbowens commented Nov 27, 2023

Single deletes have subtle requirements for deterministic behavior. In order to exercise them within the metamorphic test, the metamorphic test tracks the operations performed against every key. It uses this history to derive whether a single delete against a particular key would be deterministic. This tracking does not account for range deletions (or the new excise operation introduced in #3044). This omission does not introduce nondeterminism within the metamorphic test, but it reduces the metamorphic test's test coverage by being more conservative than CockroachDB in its decision making.

We should adjust the metamorphic test allow testing these scenarios.

Motivated in part by cockroachdb/cockroach#114421 which could plausibly be caused by a single delete bug.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
No open projects
Archived in project
Development

No branches or pull requests

1 participant