Autoharness: support &CStr arguments under --bounded-arguments - #4804

Autoharness: support &CStr arguments under --bounded-arguments#4804

feliperodri merged 3 commits into

model-checking:mainmodel-checking/kani:mainfrom

srivatsansamraj:cstr-bounded-refsrivatsansamraj/kani:cstr-bounded-refCopy head branch name to clipboard