Require explicit contract for --replace-call-with-contract#8739

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:replace-call-with-contract-errortautschnig/cbmc:replace-call-with-contract-errorCopy head branch name to clipboard