Skip to content

Fix ill-typed SMT2 for flattened aggregate expressions - #9147

Open
fcasal wants to merge 1 commit into
diffblue:developfrom
fcasal:fix/smt2-aggregate-encoding
Open

Fix ill-typed SMT2 for flattened aggregate expressions#9147
fcasal wants to merge 1 commit into
diffblue:developfrom
fcasal:fix/smt2-aggregate-encoding

Commits

  1. Commits on Aug 1, 2026