team-worthwhile / worthwhile

PSE am KIT 2011/12: Programmverifikation (Team 2)
BSD 3-Clause "New" or "Revised" License
5 stars 3 forks source link

AstNodeCreatorHelper#createLiteral ignores assigned indexes #116

Closed bafain closed 12 years ago

bafain commented 12 years ago

In the created ArrayLiteral the index information from the CompositeValue has been erased since createLiteral iterates just over the value set and ignores the key set, which contains the actual indexes.