Function kimchi_msm::test::generic::test_soundness_generic

pub fn test_soundness_generic<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, LT: LookupTableID, RNG>(
    constraints: Vec<E<Fp>>,
    fixed_selectors: Box<[Vec<Fp>; N_FSEL]>,
    proof_inputs: ProofInputs<N_WIT, Fp, LT>,
    proof_inputs_prime: ProofInputs<N_WIT, Fp, LT>,
    domain_size: usize,
    rng: &mut RNG
)where
    RNG: RngCore + CryptoRng,