Use Kani's Cargo when calling cargo metadata#3972

clubby789 wants to merge 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

clubby789:metadata-bundledclubby789/kani:metadata-bundledCopy head branch name to clipboard