(fd: usize, vec_buf: Vec<u8>, cnt: usize, offset: usize)
| 49 | } |
| 50 | #[quickcheck_macros::quickcheck] |
| 51 | fn check_os_pwrite(fd: usize, vec_buf: Vec<u8>, cnt: usize, offset: usize) -> TestResult { |
| 52 | init(); |
| 53 | let buf = &vec_buf[..]; |
| 54 | if !(buf.len() >= cnt) { |
| 55 | return TestResult::discard(); |
| 56 | } |
| 57 | let result = os_pwrite(fd, buf, cnt, offset); |
| 58 | if !(true) { |
| 59 | return TestResult::failed(); |
| 60 | } |
| 61 | TestResult::passed() |
| 62 | } |
| 63 | #[quickcheck_macros::quickcheck] |
| 64 | fn check_os_advise(fd: usize, offset: i64, len: i64, advice: i32) -> TestResult { |
| 65 | init(); |