Skip to content

Commit

Permalink
Cut costs on slowest test
Browse files Browse the repository at this point in the history
  • Loading branch information
@Strilanc
Strilanc committed Mar 15, 2024
1 parent 1cdf45f commit 835aec1
Show file tree
Hide file tree
Showing 5 changed files with 27 additions and 27 deletions.
4 changes: 2 additions & 2 deletions src/stim/mem/simd_word.test.cc
View file
Original file line number Diff line number Diff line change
Expand Up @@ -33,14 +33,14 @@ union WordOr64 {

TEST_EACH_WORD_SIZE_W(simd_word_pick, popcount, {
WordOr64 v;
auto n = sizeof(simd_word<W>) * 8;
auto n = sizeof(simd_word<W>) * 2;

for (size_t expected = 0; expected <= n; expected++) {
std::vector<uint64_t> bits{};
for (size_t i = 0; i < n; i++) {
bits.push_back(i < expected);
}
for (size_t reps = 0; reps < 100; reps++) {
for (size_t reps = 0; reps < 10; reps++) {
std::shuffle(bits.begin(), bits.end(), INDEPENDENT_TEST_RNG());
for (size_t i = 0; i < n; i++) {
v.p[i >> 6] = 0;
Expand Down
26 changes: 13 additions & 13 deletions src/stim/simulators/tableau_simulator.test.cc
View file
Original file line number Diff line number Diff line change
Expand Up @@ -488,24 +488,24 @@ bool vec_sim_corroborates_measurement_process(

TEST_EACH_WORD_SIZE_W(TableauSimulator, measurement_vs_vector_sim, {
auto rng = INDEPENDENT_TEST_RNG();
for (size_t k = 0; k < 10; k++) {
for (size_t k = 0; k < 5; k++) {
auto state = Tableau<W>::random(2, rng);
ASSERT_TRUE(vec_sim_corroborates_measurement_process(state, {0}));
ASSERT_TRUE(vec_sim_corroborates_measurement_process(state, {1}));
ASSERT_TRUE(vec_sim_corroborates_measurement_process(state, {0, 1}));
}
for (size_t k = 0; k < 10; k++) {
for (size_t k = 0; k < 5; k++) {
auto state = Tableau<W>::random(4, rng);
ASSERT_TRUE(vec_sim_corroborates_measurement_process(state, {0, 1}));
ASSERT_TRUE(vec_sim_corroborates_measurement_process(state, {2, 1}));
ASSERT_TRUE(vec_sim_corroborates_measurement_process(state, {0, 1, 2, 3}));
}
{
auto state = Tableau<W>::random(12, rng);
auto state = Tableau<W>::random(8, rng);
ASSERT_TRUE(vec_sim_corroborates_measurement_process(state, {0, 1, 2, 3}));
ASSERT_TRUE(vec_sim_corroborates_measurement_process(state, {0, 10, 11}));
ASSERT_TRUE(vec_sim_corroborates_measurement_process(state, {11, 5, 7}));
ASSERT_TRUE(vec_sim_corroborates_measurement_process(state, {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11}));
ASSERT_TRUE(vec_sim_corroborates_measurement_process(state, {0, 6, 7}));
ASSERT_TRUE(vec_sim_corroborates_measurement_process(state, {7, 3, 4}));
ASSERT_TRUE(vec_sim_corroborates_measurement_process(state, {0, 1, 2, 3, 4, 5, 6, 7}));
}
})

Expand Down Expand Up @@ -613,7 +613,7 @@ TEST_EACH_WORD_SIZE_W(TableauSimulator, correlated_error, {
expected);

int hits[3]{};
size_t n = 10000;
size_t n = 5000;
for (size_t k = 0; k < n; k++) {
auto sample = TableauSimulator<W>::sample_circuit(
Circuit(R"circuit(
Expand All @@ -628,8 +628,8 @@ TEST_EACH_WORD_SIZE_W(TableauSimulator, correlated_error, {
hits[2] += sample[2];
}
ASSERT_TRUE(0.45 * n < hits[0] && hits[0] < 0.55 * n);
ASSERT_TRUE((0.125 - 0.05) * n < hits[1] && hits[1] < (0.125 + 0.05) * n);
ASSERT_TRUE((0.28125 - 0.05) * n < hits[2] && hits[2] < (0.28125 + 0.05) * n);
ASSERT_TRUE((0.125 - 0.08) * n < hits[1] && hits[1] < (0.125 + 0.08) * n);
ASSERT_TRUE((0.28125 - 0.08) * n < hits[2] && hits[2] < (0.28125 + 0.08) * n);
})

TEST_EACH_WORD_SIZE_W(TableauSimulator, quantum_cannot_control_classical, {
Expand Down Expand Up @@ -865,12 +865,12 @@ TEST_EACH_WORD_SIZE_W(TableauSimulator, peek_bloch, {

TEST_EACH_WORD_SIZE_W(TableauSimulator, paulis, {
auto rng = INDEPENDENT_TEST_RNG();
TableauSimulator<W> sim1(INDEPENDENT_TEST_RNG(), 500);
TableauSimulator<W> sim2(INDEPENDENT_TEST_RNG(), 500);
sim1.inv_state = Tableau<W>::random(500, rng);
TableauSimulator<W> sim1(INDEPENDENT_TEST_RNG(), 300);
TableauSimulator<W> sim2(INDEPENDENT_TEST_RNG(), 300);
sim1.inv_state = Tableau<W>::random(300, rng);
sim2.inv_state = sim1.inv_state;

sim1.paulis(PauliString<W>(500));
sim1.paulis(PauliString<W>(300));
ASSERT_EQ(sim1.inv_state, sim2.inv_state);
sim1.paulis(PauliString<W>(5));
ASSERT_EQ(sim1.inv_state, sim2.inv_state);
Expand Down
2 changes: 1 addition & 1 deletion src/stim/stabilizers/conversions.test.cc
View file
Original file line number Diff line number Diff line change
Expand Up @@ -217,7 +217,7 @@ TEST_EACH_WORD_SIZE_W(conversions, stabilizer_state_vector_to_circuit_basic, {
TEST_EACH_WORD_SIZE_W(conversions, stabilizer_state_vector_to_circuit_fuzz_round_trip, {
auto rng = INDEPENDENT_TEST_RNG();
for (const auto &little_endian : std::vector<bool>{false, true}) {
for (size_t n = 0; n < 10; n++) {
for (size_t n = 0; n < 5; n++) {
// Pick a random stabilizer state.
TableauSimulator<W> sim(INDEPENDENT_TEST_RNG(), n);
sim.inv_state = Tableau<W>::random(n, rng);
Expand Down
20 changes: 10 additions & 10 deletions src/stim/stabilizers/tableau.test.cc
View file
Original file line number Diff line number Diff line change
Expand Up @@ -722,15 +722,15 @@ TEST_EACH_WORD_SIZE_W(tableau, expand_pad_equals, {

TEST_EACH_WORD_SIZE_W(tableau, transposed_access, {
auto rng = INDEPENDENT_TEST_RNG();
size_t n = 1000;
size_t n = W > 256 ? 1000 : 400;
Tableau<W> t(n);
auto m = t.xs.xt.data.num_bits_padded();
t.xs.xt.data.randomize(m, rng);
t.xs.zt.data.randomize(m, rng);
t.zs.xt.data.randomize(m, rng);
t.zs.zt.data.randomize(m, rng);
for (size_t inp_qubit = 0; inp_qubit < 1000; inp_qubit += 99) {
for (size_t out_qubit = 0; out_qubit < 1000; out_qubit += 99) {
for (size_t inp_qubit = 0; inp_qubit < n; inp_qubit += 99) {
for (size_t out_qubit = 0; out_qubit < n; out_qubit += 99) {
bool bxx = t.xs.xt[inp_qubit][out_qubit];
bool bxz = t.xs.zt[inp_qubit][out_qubit];
bool bzx = t.zs.xt[inp_qubit][out_qubit];
Expand Down Expand Up @@ -885,26 +885,26 @@ TEST_EACH_WORD_SIZE_W(tableau, transposed_xz_input, {

TEST_EACH_WORD_SIZE_W(tableau, direct_sum, {
auto rng = INDEPENDENT_TEST_RNG();
auto t1 = Tableau<W>::random(260, rng);
auto t2 = Tableau<W>::random(270, rng);
auto t1 = Tableau<W>::random(160, rng);
auto t2 = Tableau<W>::random(170, rng);
auto t3 = t1;
t3 += t2;
ASSERT_EQ(t3, t1 + t2);

PauliString<W> p1 = t1.xs[5];
p1.ensure_num_qubits(260 + 270, 1.0);
p1.ensure_num_qubits(160 + 170, 1.0);
ASSERT_EQ(t3.xs[5], p1);

std::string p2 = t2.xs[6].str();
std::string p3 = t3.xs[266].str();
std::string p3 = t3.xs[166].str();
ASSERT_EQ(p2[0], p3[0]);
p2 = p2.substr(1);
p3 = p3.substr(1);
for (size_t k = 0; k < 260; k++) {
for (size_t k = 0; k < 160; k++) {
ASSERT_EQ(p3[k], '_');
}
for (size_t k = 0; k < 270; k++) {
ASSERT_EQ(p3[260 + k], p2[k]);
for (size_t k = 0; k < 170; k++) {
ASSERT_EQ(p3[160 + k], p2[k]);
}
})

Expand Down
2 changes: 1 addition & 1 deletion src/stim/stabilizers/tableau_iter.test.cc
View file
Original file line number Diff line number Diff line change
Expand Up @@ -135,7 +135,7 @@ TEST_EACH_WORD_SIZE_W(tableau_iter, iter_tableau, {
ASSERT_EQ(n1, 6);
ASSERT_EQ(s1, 24);
ASSERT_EQ(n2, 720);
ASSERT_EQ(n3, 1451520);
// ASSERT_EQ(n3, 1451520); // Note: disabled because it takes 2-3 seconds.
})

TEST_EACH_WORD_SIZE_W(tableau_iter, iter_tableau_distinct, {
Expand Down

0 comments on commit 835aec1

Please sign in to comment.