Use canonical filenames in source locations#142

adpaco-aws merged 1 commit intomodel-checking:main-152-2021-05-18model-checking/kani:main-152-2021-05-18from

markrtuttle:use-canonical-filenames-in-srclocsmarkrtuttle/rmc:use-canonical-filenames-in-srclocsCopy head branch name to clipboard