MCPcopy Create free account
hub / github.com/PLSysSec/wave / check_clone_vec_u8

Function check_clone_vec_u8

tools/fuzz-gen/out.rs:790–799  ·  view source on GitHub ↗
(vec_vec: Vec<u8>)

Source from the content-addressed store, hash-verified

788}
789#[quickcheck_macros::quickcheck]
790fn check_clone_vec_u8(vec_vec: Vec<u8>) -> TestResult {
791 init();
792 let vec = &vec_vec;
793 let vec_dot_len_method_old = vec.len();
794 let result = clone_vec_u8(vec);
795 if !(result.len() == vec_dot_len_method_old) {
796 return TestResult::failed();
797 }
798 TestResult::passed()
799}
800#[quickcheck_macros::quickcheck]
801fn check_get_homedir_fd(vec_s: String) -> TestResult {
802 init();

Callers

nothing calls this directly

Calls 3

initFunction · 0.85
clone_vec_u8Function · 0.85
lenMethod · 0.45

Tested by

no test coverage detected