binius_m3::builder::test_utils

Function validate_system_witness

Source 
pub fn validate_system_witness<U>(
    cs: &ConstraintSystem<B128>,
    witness: WitnessIndex<'_, '_, PackedType<U, B128>>,
    boundaries: Vec<Boundary<B128>>,
)
where
    U: UnderlierType + PackScalar<B1> + PackScalar<B8> + PackScalar<B16> + PackScalar<B32> + PackScalar<B64> + PackScalar<B128> + PackScalar<BinaryField128bPolyval>,
    PackedType<U, B128>: PackedFieldIndexable + PackedTransformationFactory<PackedType<U, BinaryField128bPolyval>>,
    PackedType<U, BinaryField128bPolyval>: PackedTransformationFactory<PackedType<U, B128>>,
Expand description

Utility for M3 tests to validate a constraint system and witness.