Update test_GreedyPauli.cpp

CQCL · Nov 12, 2024 · 489e91a · 489e91a
1 parent 8246860
commit 489e91a
Showing 1 changed file with 13 additions and 2 deletions.
diff --git a/tket/test/src/test_GreedyPauli.cpp b/tket/test/src/test_GreedyPauli.cpp
@@ -762,7 +762,7 @@ SCENARIO("Test GreedyPauliSimp pass construction") {
 }
 
 SCENARIO("Test GreedyPauliSimpMT") {
-  GIVEN("Large circuit with and without targeting ZZPhase") {
+  GIVEN("Large circuit with and without ZZPhase") {
     Circuit circ(6);
     circ.add_box(
         PauliExpBox(SymPauliTensor({Pauli::X, Pauli::X}, 0.3)), {0, 1});
@@ -819,6 +819,18 @@ SCENARIO("Test GreedyPauliSimpMT") {
             0.125)),
         {0, 5, 1, 4, 3, 2});
 
+    circ.add_box(
+        PauliExpBox(SymPauliTensor(
+            {Pauli::X, Pauli::Z, Pauli::Y, Pauli::Z, Pauli::Z, Pauli::X},
+            0.125)),
+        {5, 4, 2, 1, 3, 0});
+
+    circ.add_box(
+        PauliExpBox(SymPauliTensor(
+            {Pauli::X, Pauli::Z, Pauli::Y, Pauli::Y, Pauli::Z, Pauli::X},
+            0.125)),
+        {0, 1, 2, 3, 4, 5});
+
     Circuit d(circ);
     d.decompose_boxes_recursively();
     REQUIRE(Transforms::multi_thread_greedy_pauli_optimisation(
@@ -830,7 +842,6 @@ SCENARIO("Test GreedyPauliSimpMT") {
     REQUIRE(test_unitary_comparison(circ, d, true));
   }
 }
-}
 
 }  // namespace test_GreedyPauliSimp
 }  // namespace tket