Skip to content

Autoharness: support raw pointer arguments - #4678

Merged
feliperodri merged 5 commits into
model-checking:mainfrom
tautschnig:autoharness-raw-pointers
Aug 21, 2026
Merged

Autoharness: support raw pointer arguments#4678
feliperodri merged 5 commits into
model-checking:mainfrom
tautschnig:autoharness-raw-pointers

Fix clippy too-many-arguments by grouping Kani any models into a struct

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