Fix tests

quantum-compiler · Jan 16, 2024 · b5b631d · b5b631d
1 parent a22242c
commit b5b631d
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 5 deletions.
diff --git a/src/test/test_phase_shift.cpp b/src/test/test_phase_shift.cpp
@@ -41,7 +41,8 @@ int main() {
   equiv_set.clear();
   system("python src/python/verifier/verify_equivalences.py "
          "phase_shift_before_verify.json phase_shift_verified.json True True");
-  equiv_set.load_json(&ctx, "phase_shift_verified.json");
+  equiv_set.load_json(&ctx, "phase_shift_verified.json",
+                      /*from_verifier=*/true);
   equiv_set.simplify(&ctx);
   equiv_set.save_json(&ctx, "phase_shift_verified_simplified.json");
   end = std::chrono::steady_clock::now();

diff --git a/src/test/test_pruning.h b/src/test/test_pruning.h
@@ -81,7 +81,8 @@ void test_pruning(
     system(("python src/python/verifier/verify_equivalences.py " + file_prefix +
             "pruning_unverified.json " + file_prefix + "pruning.json")
                .c_str());
-    equiv_set.load_json(&ctx, file_prefix + "pruning.json");
+    equiv_set.load_json(&ctx, file_prefix + "pruning.json",
+                        /*from_verifier=*/true);
     end = std::chrono::steady_clock::now();
     running_time_with_all_pruning_techniques += end - start;
     verification_time += end - start;
@@ -137,7 +138,8 @@ void test_pruning(
               << std::endl;
 
     equiv_set.clear();
-    equiv_set.load_json(&ctx, file_prefix + "pruning.json");
+    equiv_set.load_json(&ctx, file_prefix + "pruning.json",
+                        /*from_verifier=*/true);
     start = std::chrono::steady_clock::now();
     equiv_set.simplify(&ctx);
     equiv_set.save_json(&ctx, file_prefix + "pruning_simplified.json");
@@ -214,7 +216,8 @@ void test_pruning(
                 file_prefix + "original_unverified.json " + file_prefix +
                 "original.json -n")
                    .c_str());
-        equiv_set.load_json(&ctx, file_prefix + "original.json");
+        equiv_set.load_json(&ctx, file_prefix + "original.json",
+                            /*from_verifier=*/true);
         end = std::chrono::steady_clock::now();
         if (missing_num_singletons) {
           std::cout << "Warning: missing num_singletons. The following two "
@@ -261,7 +264,8 @@ void test_pruning(
               file_prefix + "original_unverified.json " + file_prefix +
               "original_verified.json")
                  .c_str());
-      equiv_set.load_json(&ctx, file_prefix + "original_verified.json");
+      equiv_set.load_json(&ctx, file_prefix + "original_verified.json",
+                          /*from_verifier=*/true);
       end = std::chrono::steady_clock::now();
       if (missing_num_singletons) {
         std::cout << "Warning: missing num_singletons. The following two lines "