asdf

lrvideckis · lrvideckis · commit 504ae7de67bb · 2026-03-08T13:19:49.000-06:00
diff --git a/tests/library_checker_aizu_tests/handmade_tests/xor_basis_walk.test.cpp b/tests/library_checker_aizu_tests/handmade_tests/xor_basis_walk.test.cpp
@@ -30,6 +30,7 @@ int main() {
       if (b.insert(val)) naive_basis.push_back(val);
       assert(b.npivot + b.nfree == i + 1);
     }
+    assert(ssize(naive_basis) == b.npivot);
     vector<bitset<B>> fast_basis;
     for (int i = 0; i < B; i++)
       if (b.basis[i][i]) fast_basis.push_back(b.basis[i]);

Original file line number	Diff line number	Diff line change
`@@ -30,6 +30,7 @@ int main() {`
`30`	`30`	`if (b.insert(val)) naive_basis.push_back(val);`
`31`	`31`	`assert(b.npivot + b.nfree == i + 1);`
`32`	`32`	`}`
	`33`	`+ assert(ssize(naive_basis) == b.npivot);`
`33`	`34`	`vector<bitset<B>> fast_basis;`
`34`	`35`	`for (int i = 0; i < B; i++)`
`35`	`36`	`if (b.basis[i][i]) fast_basis.push_back(b.basis[i]);`