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

Function to_pathbuf

src/path_resolution.rs:15–17  ·  view source on GitHub ↗

#[pure] #[ensures()]

(v: Vec<u8>)

Source from the content-addressed store, hash-verified

13// #[pure]
14// #[ensures()]
15fn to_pathbuf(v: Vec<u8>) -> PathBuf {
16 PathBuf::from(OsString::from_vec(v.clone()))
17}
18
19// #[ensures(!is_symlink(out_path))]
20#[ensures(

Callers 1

expand_pathFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected