| 395 | } |
| 396 | #[quickcheck_macros::quickcheck] |
| 397 | fn check_os_read(fd: usize, mut vec_buf: Vec<u8>, cnt: usize) -> TestResult { |
| 398 | init(); |
| 399 | let buf = &mut vec_buf[..]; |
| 400 | if !(buf.len() >= cnt) { |
| 401 | return TestResult::discard(); |
| 402 | } |
| 403 | let result = os_read(fd, buf, cnt); |
| 404 | if !(!(result >= 0) || (buf.len() >= result as usize)) { |
| 405 | return TestResult::failed(); |
| 406 | } |
| 407 | if !(!(result >= 0) || (result as usize <= cnt)) { |
| 408 | return TestResult::failed(); |
| 409 | } |
| 410 | if !(true) { |
| 411 | return TestResult::failed(); |
| 412 | } |
| 413 | TestResult::passed() |
| 414 | } |
| 415 | #[quickcheck_macros::quickcheck] |
| 416 | fn check_os_write(fd: usize, vec_buf: Vec<u8>, cnt: usize) -> TestResult { |
| 417 | init(); |