(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 debian11)
succeeded
Jul 7, 2023 in 19m 20s
Linux debian11 succeeded
Loading