Autoharness: Harness Generation Improvements#4017

Merged

carolynzech merged 6 commits intomodel-checking:mainfrom

carolynzech:autoharness-contract-harnesses

Apr 15, 2025

Commits on Apr 14, 2025

fix typo
Carolyn Zech
committed
generate identical contract harnesses to manual ones
Carolyn Zech
committed
nit: simplify logic
Carolyn Zech
committed
call CBMC with --function <harness_name>
Carolyn Zech
committed
add type invariant test
Carolyn Zech
committed
Merge branch 'main' into autoharness-contract-harnesses
Carolyn Zech
authored