Autoharness: instantiate Fn-bounded type parameters with nondet closures - #4726

Autoharness: instantiate Fn-bounded type parameters with nondet closures#4726

feliperodri merged 5 commits into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:c5p2-closures-prtautschnig/kani:c5p2-closures-prCopy head branch name to clipboard