(c2rust-analyze
) Add known_fns!
for declaring the permissions on ptrs in known (i.e. libc
) UnknownDef
fn
s
#978
This check has been archived and is scheduled for deletion.
Learn more about checks retention
Azure Pipelines / immunant.c2rust (Linux arch)
succeeded
Jul 7, 2023 in 17m 41s
Linux arch succeeded
Loading