Optimize reachability with non-mutating global passes#4177

carolynzech merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

AlexanderPortland:global-passesAlexanderPortland/kani:global-passesCopy head branch name to clipboard