Function check_bitwise_or

tools/fuzz-gen/out.rs:736–740

(bv1: i32, bv2: i32)

}
#[quickcheck_macros::quickcheck]
fn check_bitwise_or(bv1: i32, bv2: i32) -> TestResult {
    init();
    let result = bitwise_or(bv1, bv2);
    TestResult::passed()
}
#[quickcheck_macros::quickcheck]
fn check_bitwise_or_u32(bv1: u32, bv2: u32) -> TestResult {
    init();