Move std-analysis.sh script from Kani repository#261

tautschnig merged 2 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

tautschnig:move-metrics-scripttautschnig/verify-rust-std:move-metrics-scriptCopy head branch name to clipboard