Merge pull request #2416 from o1-labs/dw/make-some-tests-heavy

IVC: make some completeness tests heavy
o1-labs · Jul 10, 2024 · d899aeb · d899aeb
2 parents ca6b0d8 + 518289c
commit d899aeb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ivc/src/ivc/mod.rs b/ivc/src/ivc/mod.rs
@@ -202,7 +202,7 @@ mod tests {
     #[test]
     /// Completeness test for the IVC circuit in the general case (i.e.
     /// fold_iteration != 0).
-    fn test_completeness_ivc_general_case() {
+    fn heavy_test_completeness_ivc_general_case() {
         let fold_iteration = 1;
 
         let mut rng = o1_utils::tests::make_test_rng(None);
@@ -256,7 +256,7 @@ mod tests {
     #[test]
     /// Completeness test for the IVC circuit in the base case (i.e.
     /// fold_iteration = 0).
-    fn test_completeness_ivc_base_case() {
+    fn heavy_test_completeness_ivc_base_case() {
         let fold_iteration = 0;
 
         let mut rng = o1_utils::tests::make_test_rng(None);