Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
HV-1480 Avoid creating a list in the common case when we only have the
default violation Also optimize a bit the concatenation of the default violation and the custom ones to avoid creating a list too small and resize it each time.
- Loading branch information
1 parent
87affe0
commit 4a053a5
Showing
1 changed file
with
30 additions
and
19 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters