Skip to content

SMV: lower typecasts between enumeration types#1815

Merged
tautschnig merged 1 commit intomainfrom
kroening/smv-enum-typecast-lowering
Apr 22, 2026
Merged

SMV: lower typecasts between enumeration types#1815
tautschnig merged 1 commit intomainfrom
kroening/smv-enum-typecast-lowering

Commits

Commits on Apr 21, 2026