Optimize `addAllElements` for `ArrayList` and `HashMap` #11

Open

Assignees

Labels

opened

on May 27, 2024

ArrayList: implement 'addAllElements' in 'SymbolicList' case via 'copy' method
HashSet, HashMap: implement 'addAllElements' via 'LibSLRuntime.Map.union'

Metadata

Assignees

dog-m

Labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests