Autoharness: support smart pointers of compiler-derivable pointees - #4698

Autoharness: support smart pointers of compiler-derivable pointees#4698

feliperodri merged 6 commits into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:autoharness-smart-pointerstautschnig/kani:autoharness-smart-pointersCopy head branch name to clipboard