(vec_buf: Vec<u8>, start: usize, offset: usize, len: usize)
| 758 | } |
| 759 | #[quickcheck_macros::quickcheck] |
| 760 | fn check_first_null(vec_buf: Vec<u8>, start: usize, offset: usize, len: usize) -> TestResult { |
| 761 | init(); |
| 762 | let buf = &vec_buf; |
| 763 | if !(len >= offset) { |
| 764 | return TestResult::discard(); |
| 765 | } |
| 766 | if !(buf.len() >= start + len) { |
| 767 | return TestResult::discard(); |
| 768 | } |
| 769 | let len_old = len; |
| 770 | let result = first_null(buf, start, offset, len); |
| 771 | if !(result < len_old) { |
| 772 | return TestResult::failed(); |
| 773 | } |
| 774 | TestResult::passed() |
| 775 | } |
| 776 | #[quickcheck_macros::quickcheck] |
| 777 | fn check_push_dirent_name( |
| 778 | mut vec_out_buf: Vec<u8>, |
nothing calls this directly
no test coverage detected