Function check_slice_mem_mut

tools/fuzz-gen/out.rs:847–851

(ptr: SboxPtr, len: u32)

}
#[quickcheck_macros::quickcheck]
fn check_slice_mem_mut(ptr: SboxPtr, len: u32) -> TestResult {
    init();
    let mut ctx = fresh_ctx(".".to_string());
    ctx.check_slice_mem_mut_impl(ptr, len)
}
#[quickcheck_macros::quickcheck]
fn check_resolve_path(in_path: Vec<u8>) -> TestResult {
    init();