Skip to content
Build & Tests

[wrappers] Replace some unsafe code with Ptr #2971

Sign in to view logs

[wrappers] Replace some unsafe code with Ptr

[wrappers] Replace some unsafe code with Ptr #2971

Run tests under Kani

Run tests under Kani
succeeded Mar 3, 2024 in 1m 23s