Skip to content

SMT2: skip element enumeration for non-integer-keyed array literals#9062

Open
tautschnig wants to merge 1 commit into
diffblue:developfrom
tautschnig:strata/smt2-array-literal-nonint-index
Open

SMT2: skip element enumeration for non-integer-keyed array literals#9062
tautschnig wants to merge 1 commit into
diffblue:developfrom
tautschnig:strata/smt2-array-literal-nonint-index

SMT2: enumerate array literals only for enumerable index types

87d4e17
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Linux
succeeded Jun 24, 2026 in 54m 7s