(fd: usize, vec_buf: Vec<u8>, cnt: usize, flags: i32)
| 580 | } |
| 581 | #[quickcheck_macros::quickcheck] |
| 582 | fn check_os_send(fd: usize, vec_buf: Vec<u8>, cnt: usize, flags: i32) -> TestResult { |
| 583 | init(); |
| 584 | let buf = &vec_buf[..]; |
| 585 | if !(buf.len() >= cnt) { |
| 586 | return TestResult::discard(); |
| 587 | } |
| 588 | let result = os_send(fd, buf, cnt, flags); |
| 589 | if !(true) { |
| 590 | return TestResult::failed(); |
| 591 | } |
| 592 | TestResult::passed() |
| 593 | } |
| 594 | #[quickcheck_macros::quickcheck] |
| 595 | fn check_os_shutdown(fd: usize, how: libc::c_int) -> TestResult { |
| 596 | init(); |