Use CBMC's shuffle_vector expression#4204

tautschnig merged 3 commits into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:shuffle_vectortautschnig/kani:shuffle_vectorCopy head branch name to clipboard