Strip the crate prefix from scanner names so contract metrics match again - #696

Strip the crate prefix from scanner names so contract metrics match again#696

feliperodri merged 2 commits into

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

Tianshu-Huang:metrics-strip-crate-prefixTianshu-Huang/verify-rust-std:metrics-strip-crate-prefixCopy head branch name to clipboard