(c2rust-analyze
) Add known_fns!
for declaring the permissions on ptrs in known (i.e. libc
) UnknownDef
fn
s
#1995
Job | Run time |
---|---|
14m 15s | |
14m 15s |