(fd: usize, vec_buf: Vec<u8>, cnt: usize)
| 414 | } |
| 415 | #[quickcheck_macros::quickcheck] |
| 416 | fn check_os_write(fd: usize, vec_buf: Vec<u8>, cnt: usize) -> TestResult { |
| 417 | init(); |
| 418 | let buf = &vec_buf[..]; |
| 419 | if !(buf.len() >= cnt) { |
| 420 | return TestResult::discard(); |
| 421 | } |
| 422 | let result = os_write(fd, buf, cnt); |
| 423 | if !(true) { |
| 424 | return TestResult::failed(); |
| 425 | } |
| 426 | TestResult::passed() |
| 427 | } |
| 428 | #[quickcheck_macros::quickcheck] |
| 429 | fn check_os_seek(fd: usize, offset: i64, whence: i32) -> TestResult { |
| 430 | init(); |