Update test_GreedyPauli.cpp

CQCL · Nov 11, 2024 · d4527bf · d4527bf
1 parent 69da8c5
commit d4527bf
Showing 1 changed file with 11 additions and 10 deletions.
diff --git a/tket/test/src/test_GreedyPauli.cpp b/tket/test/src/test_GreedyPauli.cpp
@@ -751,17 +751,18 @@ SCENARIO("Test GreedyPauliSimp pass construction") {
     REQUIRE(test_unitary_comparison(c, cu.get_circ_ref(), true));
   }
   GIVEN("Preserving a circuit with only_reduce set to true.") {
-    // Circuit c(10);
-    // c.add_op<unsigned>(OpType::CnX, {0, 1, 2, 3, 4, 5, 6, 7, 8, 9});
-    // c.add_op<unsigned>(OpType::CnX, {2, 3, 4, 5});
-    // c.add_op<unsigned>(OpType::CnX, {6, 7, 8, 9});
-    Circuit c(4);
-    c.add_op<unsigned>(OpType::CX, {0,1});
-    c.add_op<unsigned>(OpType::CX, {1,2});
-    c.add_op<unsigned>(OpType::CX, {2,3});
+    Circuit c(10);
+    c.add_op<unsigned>(OpType::CnX, {0, 1, 2, 3, 4, 5, 6, 7, 8, 9});
+    c.add_op<unsigned>(OpType::CnX, {2, 3, 4, 5});
+    c.add_op<unsigned>(OpType::CnX, {6, 7, 8, 9});
+    // Circuit c(4);
+    // c.add_op<unsigned>(OpType::CX, {0,1});
+    // c.add_op<unsigned>(OpType::CX, {1,2});
+    // c.add_op<unsigned>(OpType::CX, {2,3});
     CompilationUnit cu(c);
-    // REQUIRE(DecomposeArbitrarilyControlledGates()->apply(cu));
-    REQUIRE(!gen_greedy_pauli_simp(0.3, 0.5, 500, 500, 0, false, 100, true));
+    REQUIRE(DecomposeArbitrarilyControlledGates()->apply(cu));
+    REQUIRE(!gen_greedy_pauli_simp(0.3, 0.5, 500, 500, 0, false, 100, true)
+                 .apply->(cu));
   }
 }
 }  // namespace test_GreedyPauliSimp