✅ Restructure tests

Author: TeWas

test/test_hsf.cpp

@@ -69,33 +69,9 @@ TEST_F(HSFTest, vqe10ParallelChecking) {
   EXPECT_EQ(ecm.equivalence(), ec::EquivalenceCriterion::Equivalent);
 }
 
-/*
-Note: This test fails due to a timeout. The issue arises because the std::future
-object blocks if a thread is stuck in a long-running operation. Although the HSF
-checker has completed, we wait for the alternating/construction checker to
-finish, which take significantly longer. This could potentially be resolved by
-using std::jthread.
-*/
-// TEST_F(HSFTest, wstate10ParallelChecking) {
-//   // Test the parallel equivalence checking flow where the HSF checker
-//   delivers
-//   // results first
-//   const qc::QuantumComputation c1{testDir +
-//                                   "wstate_indep_qiskit_10_no_measure.qasm"};
-//   const qc::QuantumComputation c2{testDir +
-//                                   "out_wstate_indep_qiskit_10_high_error.qasm"};
-//   config.functionality.approximateCheckingThreshold = 0.991;
-//   config.execution.runConstructionChecker = true;
-//   config.execution.runAlternatingChecker = true;
-//   config.execution.parallel = true;
-//   ec::EquivalenceCheckingManager ecm(c1, c2, config);
-//   ecm.run();
-//   EXPECT_EQ(ecm.equivalence(), ec::EquivalenceCriterion::Equivalent);
-// }
-
 TEST_F(HSFTest, ghz10ParallelChecking) {
-  // Test the parallel equivalence checking flow where the alternating or
-  // construction checker delivers results first
+  // Test the parallel equivalence checking flow where multiple checkers are
+  // enabled
   const qc::QuantumComputation c1{
       testDir + "ghz_nativegates_ibm_qiskit_opt3_10_no_measure.qasm"};
   const qc::QuantumComputation c2{
@@ -110,8 +86,8 @@ TEST_F(HSFTest, ghz10ParallelChecking) {
 }
 
 TEST_F(HSFTest, ghz10SequentialChecking) {
-  // Test the sequential equivalence checking flow where the alternating or
-  // construction checker delivers results first
+  // Test the sequential equivalence checking flow where multiple checkers are
+  // enabled
   const qc::QuantumComputation c1{
       testDir + "ghz_nativegates_ibm_qiskit_opt3_10_no_measure.qasm"};
   const qc::QuantumComputation c2{