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

Open

Open

Optimize addAllElements for ArrayList and HashMap#11

Assignees

Labels

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

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests