search

codespecs / daikon

Dynamic detection of likely invariants
http://plse.cs.washington.edu/daikon/
Other
214 stars 54 forks source link

Simplify calls to `List.toArray()` #540

Closed mernst closed 4 months ago

DvonHolten commented 4 months ago

just had a quick look at the changes. did that to my codebase long time ago. however, small improvement is possible: instead of creating a new xxx[ 0 ] all the time, its sufficient to re-use a final static xxx[ 0 ] laying around somewhere

mernst commented 4 months ago

@DvonHolten Thanks for pointing that out. I will make that improvement.