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

Open

tautschnig wants to merge 3 commits into

diffblue:developfrom

tautschnig:z3-workaround

Commits on Jun 1, 2026

smt2_conv: accept any root-index in Z3's root-obj output

tautschnig
and
kiro-agent
committed
SMT2: use lambda instead of as-const in unflatten for Z3

tautschnig
and
kiro-agent
committed
Do not use `as const` with Z3 due to soundness issue
tautschnig
committed