kani icon indicating copy to clipboard operation
kani copied to clipboard

Rethink naming for external C libraries

Open avanhatt opened this issue 3 years ago • 0 comments

Right now, linking external C libraries depends on the Rust name pretty printer matching the C type name (see ty_mangled_name). This is fragile and definitely won't work if two different versions of a dependent crate use different versions of C structs. Rethink this.

avanhatt avatar Aug 25 '21 14:08 avanhatt