kani
kani copied to clipboard
Rethink naming for external C libraries
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.