Function test_helper

ciphercore-base/src/ops/adder.rs:344–381

(first: u64, second: u64, st: ScalarType)

    use crate::graphs::util::simple_context;

    fn test_helper(first: u64, second: u64, st: ScalarType) -> Result<()> {
        let bits = st.size_in_bits();
        let mask = (1u128 << bits) - 1;
        let first = (first as u128) & mask;
        let second = (second as u128) & mask;

        let c = simple_context(|g| {
            let i1 = g.input(array_type(vec![bits], BIT))?;
            let i2 = g.input(array_type(vec![bits], BIT))?;
            let o = g.custom_op(
                CustomOperation::new(BinaryAdd {
                    overflow_bit: false,
                }),
                vec![i1, i2],
            )?;
            assert_eq!(
                o.get_type()?.get_dimensions(),
                vec![bits],
                "{first} + {second} with {bits} bits"
            );
            Ok(o)
        })?;
        let mapped_c = run_instantiation_pass(c)?;
        let input0 = Value::from_scalar(first, st)?;
        let input1 = Value::from_scalar(second, st)?;
        let result_v = random_evaluate(
            mapped_c.get_context().get_main_graph()?,
            vec![input0, input1],
        )?
        .to_u128(st)?;

        let expected_result = first.wrapping_add(second) & mask;
        assert_eq!(
            result_v, expected_result,
            "{first} + {second} with {bits} bits"
        );
        Ok(())
    }

    #[test]
    fn test_random_inputs() -> Result<()> {