Do not use as const with Z3 due to soundness issue#9011

tautschnig wants to merge 2 commits into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:z3-workaroundtautschnig/cbmc:z3-workaroundCopy head branch name to clipboard