Strip the crate prefix from scanner names to match kani list - #4903

Strip the crate prefix from scanner names to match kani list#4903

feliperodri merged 3 commits into

model-checking:mainmodel-checking/kani:mainfrom

Tianshu-Huang:fix-4868-scanner-crate-prefixTianshu-Huang/kani:fix-4868-scanner-crate-prefixCopy head branch name to clipboard