Refactor pretty name to restore passable dyn trait functionality#171

danielsn merged 3 commits into

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

avanhatt:refactor-pretty-nameavanhatt/rmc:refactor-pretty-nameCopy head branch name to clipboard