pub fn lte_64_success_result() -> TestResult {
    custom_result(&|w| {
        (
            w,
            if w as usize <= 64 {
                VerificationResult::Success
            } else {
                VerificationResult::InapplicableRule
            },
        )
    })
}
/// Only bitwidths under and including 64 should verify, rest inapplicable
Only bitwidths under and including 64 should verify, rest inapplicable
Only bitwidths under and including 64 should verify rest inapplicable
pub fn lte_64_success_result() -> TestResult {
    custom_result(&|w| {
        (
            w,
            if w as usize <= 64 {
                VerificationResult::Success
            } else {
                VerificationResult::InapplicableRule
            },
        )
    })
}
pub fn lte_64_success_result ( ) -> TestResult { custom_result ( & | w | { ( w , if w as usize <= 64 { VerificationResult :: Success } else { VerificationResult :: InapplicableRule } , ) } ) }
Only bitwidths under and including 64 should verify, rest inapplicable
Only bitwidths under and including 64 should verify rest inapplicable