Skip to content

Autoharness: support generic functions - #4679

Merged
feliperodri merged 4 commits into
model-checking:mainfrom
tautschnig:autoharness-generics
Aug 21, 2026
Merged

Autoharness: support generic functions#4679
feliperodri merged 4 commits into
model-checking:mainfrom
tautschnig:autoharness-generics

Autoharness: report body-less generic instantiations as NoBody

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