tune coverage

privacy-scaling-explorations · Jun 3, 2024 · c2b5fbc · c2b5fbc
1 parent 24b5deb
commit c2b5fbc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/halo2_proofs/tests/frontend_backend_split.rs b/halo2_proofs/tests/frontend_backend_split.rs
@@ -545,7 +545,7 @@ fn test_mycircuit_full_legacy() {
     .expect("verify succeeds");
     println!("Verify: {:?}", start.elapsed());
 
-    if cfg!(feature = "thread-safe-region") {
+    if cfg!(all(feature = "thread-safe-region", not(coverage))) {
         assert_eq!(
             "c5c11281474b586795a5d97bdefeee80456d2921584b3a8b00523eebd49f2fac",
             keccak_hex(proof)
@@ -632,7 +632,7 @@ fn test_mycircuit_full_split() {
     .expect("verify succeeds");
     println!("Verify: {:?}", start.elapsed());
 
-    if cfg!(feature = "thread-safe-region") {
+    if cfg!(all(feature = "thread-safe-region", not(coverage))) {
         assert_eq!(
             "e612e9d5ebcdcff5ed9823c527218cdbaaf9fe76cc5e42d05a60f652dcc92660",
             keccak_hex(proof)