Autoharness: support slice and string arguments (bounded) - #4691

Autoharness: support slice and string arguments (bounded)#4691

feliperodri merged 8 commits into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:autoharness-bounded-slicestautschnig/kani:autoharness-bounded-slicesCopy head branch name to clipboard