Arrays with more than 64 elements no longer cause spurious failures#4470

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

tautschnig:2416-is-resolvedtautschnig/kani:2416-is-resolvedCopy head branch name to clipboard