Skip to content

test(harness): destructive suites refuse to FLUSHALL a server they do not own (#292) #300

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.

Sign up for GitHub

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

Merged
fcostaoliveira merged 6 commits into from
Aug 9, 2026
Merged

test(harness): destructive suites refuse to FLUSHALL a server they do not own (#292) #300

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
fd5c4a1
test(harness): refuse to FLUSHALL a server the suite does not own (#292)
fcostaoliveira Aug 9, 2026
556914d
test(harness): fall back to master_replid for servers without run_id …
fcostaoliveira Aug 9, 2026
7ad5e51
fix(harness): the ownership probe must fail closed, and cover every d…
fcostaoliveira Aug 9, 2026
b5c8b32
fix(harness): case-insensitive wipe scan, shared-helper scan, cheap r…
fcostaoliveira Aug 9, 2026
edb8ab4
fix(harness): make the refusal's claims true — pin the port to compos…
fcostaoliveira Aug 9, 2026
20f807d
fix(harness): the claim itself could be commented out, and INV-P5 rea…
fcostaoliveira Aug 9, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -76,6 +76,13 @@ jobs:
# had never run in CI. INV-4/INV-4b (#214) join them here.
run: cargo test --test overhead_invariants --release

- name: Run test-harness invariants (no container)
# INV-P1..P6 (#292): each suite has exactly one source of truth for its
# port and it matches docker-compose.test.yml; every server-wiping suite
# claims its instance from inside `test_port()`; the claim decision fails
# closed; and no shared helper under tests/common/ can wipe a server.
run: cargo test --test harness_invariants --release

integration-redis:
name: Integration tests (Redis)
runs-on: ubuntu-latest
Expand Down
533 changes: 533 additions & 0 deletions tests/common/mod.rs
View file
Open in desktop

Large diffs are not rendered by default.

Loading
Loading