Refactor simd_bitmask to reduce the number of iterations#4129

zhassan-aws merged 6 commits into

model-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:bitmask-refactorzhassan-aws/kani:bitmask-refactorCopy head branch name to clipboard