chore: fmt

src/gadgets/r1cs.rs

@@ -7,8 +7,8 @@ use super::{
   },
 };
 use crate::{
-  cyclefold::gadgets::emulated::{AllocatedEmulPoint, AllocatedEmulRelaxedR1CSInstance},
   constants::{NUM_CHALLENGE_BITS, NUM_FE_WITHOUT_IO_FOR_NOVA_FOLD},
+  cyclefold::gadgets::emulated::{AllocatedEmulPoint, AllocatedEmulRelaxedR1CSInstance},
   gadgets::{
     ecc::AllocatedPoint,
     utils::{
@@ -466,7 +466,6 @@ pub fn conditionally_select_emul_alloc_relaxed_r1cs<
   Ok(c)
 }
 
-
 /// c = cond ? a: b, where a, b: `AllocatedPoint`
 pub fn conditionally_select_point<G: Group, CS: ConstraintSystem<G::Base>>(
   mut cs: CS,

src/supernova/cyclefold/augmented_circuit.rs

@@ -708,4 +708,4 @@ where
 
     Ok((program_counter_new, z_next))
   }
-}
+}

src/supernova/cyclefold/mod.rs

@@ -4,4 +4,4 @@ pub mod snark;
 mod traits;
 
 #[cfg(test)]
-mod tests;
+mod tests;

src/supernova/cyclefold/snark.rs

@@ -739,4 +739,4 @@ where
 
     Ok(z0_primary.to_vec())
   }
-}
+}

src/supernova/cyclefold/tests.rs

@@ -411,4 +411,4 @@ where
 fn test_trivial_nivc() -> Result<(), SuperNovaError> {
   // Experimenting with selecting the running claims for nifs
   test_trivial_nivc_with::<PallasEngine>()
-}
+}

src/supernova/cyclefold/traits.rs

@@ -20,4 +20,4 @@ where
 
   /// Return a new instance of the primary circuit at `index`.
   fn primary_circuit(&self, circuit_index: usize) -> Self::C1;
-}
+}