Skip to content
Back to pull request #612

replace .size() == 0 with empty() #414

Sign in to view logs

replace .size() == 0 with empty()

replace .size() == 0 with empty() #414

Annotations

1 warning

Fuzzing (undefined)

Fuzzing (undefined)
succeeded Mar 20, 2024 in 6m 37s