Skip to content

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

Draft
tautschnig wants to merge 5 commits into
model-checking:mainfrom
tautschnig:c5p2-closures-pr
Draft

Autoharness: instantiate Fn-bounded type parameters with nondet closures#4726
tautschnig wants to merge 5 commits into
model-checking:mainfrom
tautschnig:c5p2-closures-pr

Autoharness: instantiate Fn-bounded type parameters with nondet closures

4f66b60
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Aug 7, 2026 in 7s