Use new vtable_entries API#329

avanhatt merged 1 commit into

model-checking:main-153-2021-07-15model-checking/kani:main-153-2021-07-15from

avanhatt:vtable_entriesavanhatt/rmc:vtable_entriesCopy head branch name to clipboard