[Breaking Change] Fail if stub verified doesn't have a contract harness#4295

Merged

tautschnig merged 4 commits intomodel-checking:mainfrom

carolynzech:stub-verified-soundness

Aug 13, 2025

Commits on Aug 12, 2025

error for invalid stub_verified path
Carolyn Zech
committed
error if stub verified doesn't have a proof_for_contract harness
Carolyn Zech
committed
fail for stub verified if -Z stubbing isn't provided
Carolyn Zech
committed
remove redundant stub checking
Carolyn Zech
committed