Function test_script

bitvm/src/signatures/winternitz.rs:755–781

(
        ps: &Parameters,
        standard_script: Script,
        message_checker: Script,
        desired_outcome: bool,
    )

    }

    fn test_script(
        ps: &Parameters,
        standard_script: Script,
        message_checker: Script,
        desired_outcome: bool,
    ) {
        println!(
            "Winternitz signature size:\n \t{:?} bytes / {:?} bits \n\t{:?} bytes / bit\n",
            standard_script.len(),
            ps.message_digit_len * ps.log2_base,
            standard_script.len() as f64 / (ps.message_digit_len * ps.log2_base) as f64
        );
        if desired_outcome == true {
            assert!(
                execute_script(standard_script.push_script(message_checker.clone().compile()))
                    .success
                    == true
            );
        } else {
            assert!(
                execute_script(standard_script.clone()).success == false
                    || execute_script(standard_script.push_script(message_checker.compile()))
                        .success
                        == true
            );
        }
    }

    fn run_winternitz_test<VERIFIER: Verifier, CONVERTER: Converter>(
        ps: &Parameters,