Update Kani Metrics#333

tautschnig merged 1 commit into

mainmodel-checking/verify-rust-std:mainfrom

update-kani-metricsmodel-checking/verify-rust-std:update-kani-metricsCopy head branch name to clipboard