Remove slow find_by_pretty_name vtable search#193

danielsn merged 6 commits into

model-checking:main-152-2021-06-07model-checking/kani:main-152-2021-06-07from

avanhatt:symbol-vtable-lookupavanhatt/rmc:symbol-vtable-lookupCopy head branch name to clipboard