Function contracts: check target validity, simplify snapshot instrumentation#6564

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

remi-delmas-3000:check-target-validity-simplify-snapshotsremi-delmas-3000/cbmc:check-target-validity-simplify-snapshotsCopy head branch name to clipboard