output equiv threshold in json

sebastiaanbrand · Jul 23, 2024 · c8cd059 · c8cd059
1 parent e92f2f0
commit c8cd059
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/examples/circuit_equivalence.c b/examples/circuit_equivalence.c
@@ -101,7 +101,8 @@ void print_stats() {
     printf("    \"circuit_V\": \"%s\",\n", circuit_V->name);
     printf("    \"counterexample\": \"%s\",\n", stats.counterexample);
     printf("    \"equivalent\" : %d,\n", (int)stats.equivalent);
-    printf("    \"min_fidelity\" : %.20lf,\n", stats.fidelity);
+    printf("    \"eq_threshold\" : %.5e,\n", threshold); 
+    printf("    \"min_fidelity\" : %.5e,\n", stats.fidelity);
     printf("    \"max_nodes_total\": %" PRIu64 ",\n", stats.max_nodes_total);
     printf("    \"max_nodes_U\": %" PRIu64 ",\n", stats.max_nodes_U);
     printf("    \"max_nodes_V\": %" PRIu64 ",\n", stats.max_nodes_V);